6608 search results - page 1230 / 1322 » On the Completeness of Model Checking |
168
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Owing to the rapid expansion of RNA structure databases in recent years, efficient methods for structure comparison are in demand for function prediction and evolution...
129
Voted
IJAR
2008
15 years 3 months ago
2008
We present Bayesian updating of an imprecise probability measure, represented by a class of precise multidimensional probability measures. Choice and analysis of our class are mot...
149
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Technological advances in high-throughput techniques and efficient data acquisition methods have resulted in a massive amount of life science data. The data is stored ...
148
click to vote
IJCV
2006
15 years 3 months ago
2006
Conventional vision systems and algorithms assume the imaging system to have a single viewpoint. However, these imaging systems need not always maintain a single viewpoint. For ins...
124
Voted
JAIR
2008
15 years 3 months ago
2008
It has been widely observed that there is no single "dominant" SAT solver; instead, different solvers perform best on different instances. Rather than following the trad...