99 search results - page 9 / 20 » Quantifier structure in search based procedures for QBFs |
128
click to vote
TREC
2004
15 years 1 months ago
2004
This paper provides an overview of experiments carried out at the TREC 2004 Terabyte Track using the Indri search engine. Indri is an efficient, effective distributed search engin...
110
click to vote
NIPS
2004
15 years 1 months ago
2004
Embedding algorithms search for low dimensional structure in complex data, but most algorithms only handle objects of a single type for which pairwise distances are specified. Thi...
ICPR
2004
IEEE
16 years 29 days ago
2004
IEEE
We define a cluster to be characterized by regions of high density separated by regions that are sparse. By observing the downward closure property of density, the search for inte...
ENTER
2009
Springer
14 years 9 months ago
2009
Springer
High quality product data is a necessary prerequisite for supporting efficient browsing and recommendation procedures on e-commerce platforms. This is especially true for the tour...
GECCO
2004
Springer
15 years 5 months ago
2004
Springer
Most problems studied in artificial intelligence possess some form of structure, but a precise way to define such structure is so far lacking. We investigate how the notion of pr...