✦ LIBER ✦

An algorithm to compute maximal contractions for Horn clauses

✍ Scribed by Jie Luo; Wei Li

Publisher: Science in China Press (SCP)
Year: 2011
Tongue: English
Weight: 261 KB
Volume: 54
Category: Article
ISSN: 1674-733X
DOI: 10.1007/s11432-010-4172-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Algorithm to Compute Bounds for the S

An Algorithm to Compute Bounds for the Star Discrepancy

✍ Eric Thiémard 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 596 KB

An algorithm for maximizing entropy subj

An algorithm for maximizing entropy subject to simple bounds

✍ M. J. D. Powell 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 English ⚖ 538 KB

An algorithm to compute state feedback m

An algorithm to compute state feedback matrices for multi-input deadbeat control

✍ Arno Linnemann 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 197 KB

An algorithm for computing the distance

An algorithm for computing the distance to uncontrollability

✍ L. Elsner; C. He 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 555 KB

An efficient algorithm to compute the po

An efficient algorithm to compute the posterior genotypic distribution for every member of a pedigree without loops

✍ R. L. Fernando; C. Stricker; R. C. Elston 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 450 KB

This paper describes a non-iterative, recursive method to compute the likelihood for a pedigree without loops, and hence an efficient way to compute genotype probabilities for every member of the pedigree. The method can be used with multiple mates and large sibships. Scaling is used in calculations

An efficient algorithm for computation o

An efficient algorithm for computation of stresses due to strain measurements

✍ A. Ranjbaran 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 444 KB