3 search results - page 1 / 1 » Complexity Analysis of Propositional Resolution with Autarky... |
DAM
1999
13 years 4 months ago
1999
An algorithm called Modoc", which has been introduced elsewhere, enhances propositional model elimination with autarky pruning, and other features. The model elimination meth...
BMCBI
2011
12 years 8 months ago
2011
Background: The ever increasing sizes of population genetic datasets pose great challenges for population structure analysis. The Tracy-Widom (TW) statistical test is widely used ...
ICCV
1999
IEEE
14 years 6 months ago
1999
IEEE
Two basic problems in image interpretation are: a) determining which interpretations are the most plausible amoungst many possibilities; and b) controlling the search for plausibl...