𝔖 Bobbio Scriptorium

✦ LIBER ✦

A Software Tool for Automatically Verified Operations on Intervals and Probability Distributions

✍ Scribed by Daniel Berleant; Hang Cheng

Book ID: 110283820
Publisher: Springer
Year: 1998
Tongue: English
Weight: 81 KB
Volume: 4
Category: Article
ISSN: 1385-3139
DOI: 10.1023/a:1009954817673

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A reliability assessment tool for distri

A reliability assessment tool for distributed software development environment based on Java and J/Link

✍ Yoshinobu Tamura; Shigeru Yamada; Mitsuhiro Kimura 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 587 KB

A confidence interval for the probabilit

A confidence interval for the probability that a normally distributed variable exceeds a given value, based on the mean and the mean range of a number of samples

✍ Terpstra, T. J. 📂 Article 📅 1952 🏛 Springer 🌐 English ⚖ 654 KB

[IEEE 2012 13th ACIS International Confe

[IEEE 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel & Distributed Computing (SNPD) - Kyoto, Japan (2012.08.8-2012.08.10)] 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing - A Possibilistic Approach for the Automatic Morphological Disambiguation of Arabic Texts

✍ Ayed, Raja; Bounhas, Ibrahim; Elayeb, Bilel; Evrard, Fabrice; Saoud, Narjes Bell 📂 Article 📅 2012 🏛 IEEE ⚖ 245 KB