✦ LIBER ✦

Approximate correctness-checking of computational results

✍ Scribed by Hongxia Jin; Sullivan, G.F.; Masson, G.M.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Correcting Approximate Bayesian Computat

✍ Alan R. Templeton 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 81 KB

Model-Checking of Correctness Conditions

✍ Rajeev Alur; Ken McMillan; Doron Peled 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 242 KB

Checking Approximate Computations of Pol

✍ Ergün, Funda; Kumar, S. Ravi; Rubinfeld, Ronitt 📂 Article 📅 2001 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 324 KB

On the correctness of the approximate se

✍ B. S. Tošić 📂 Article 📅 1971 🏛 John Wiley and Sons 🌐 English ⚖ 141 KB

An Application of CLP: Checking the Corr

✍ Denis Bouhineau; Laurent Trilling; Jacques Cohen 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 135 KB

Correction of the length of the interval

✍ V. N. Chinkov 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 135 KB