7289 search results - page 251 / 1458 » A Dependent Set Theory |
153
click to vote
ICCD
2005
IEEE
16 years 3 months ago
2005
IEEE
In recent years, Boolean Satisfiability (SAT) has been shown to hold potential for Unbounded Model Checking (UMC). The success of SAT-based UMC largely relies on (i) the SAT solv...
168
Voted
CVPR
2008
IEEE
16 years 22 days ago
2008
IEEE
While low-dimensional image representations have been very popular in computer vision, they suffer from two limitations: (i) they require collecting a large and varied training se...
164
click to vote
LREC
2008
15 years 7 months ago
2008
We have performed a set of experiments made to investigate the utility of morphological analysis to improve retrieval of documents written in languages with relatively large morph...
134
Voted
BMCBI
2005
15 years 6 months ago
2005
Background: Most current DNA diagnostic tests for identifying organisms use specific oligonucleotide probes that are complementary in sequence to, and hence only hybridise with th...
212
click to vote
DEXA
2009
Springer
15 years 4 months ago
2009
Springer
Most information retrieval settings, such as web search, are typically precision-oriented, i.e. they focus on retrieving a small number of highly relevant documents. However, in sp...