49 search results - page 6 / 10 » Modeling Sequential Searches with Ancillary Target Dependenc... |
ICCAD
2001
IEEE
14 years 3 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
ACCV
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We present an alignment framework for object detection using a hierarchy of 3D polygonal models. One difficulty with alignment methods is that the high-dimensional transf...
WSC
2000
13 years 8 months ago
2000
Many artificial intelligence techniques rely on the notion ate" as an abstraction of the actual state of the nd an "operator" as an abstraction of the actions that ...
CIKM
2005
Springer
14 years 16 days ago
2005
Springer
Depending on a web searcher’s familiarity with a query’s target topic, it may be more appropriate to show her introductory or advanced documents. The TREC HARD [1] track defi...
WSDM
2010
ACM
14 years 4 months ago
2010
ACM
In information retrieval, relevance of documents with respect to queries is usually judged by humans, and used in evaluation and/or learning of ranking functions. Previous work ha...