882 search results - page 98 / 177 » Local Search for Very Large SAT Problems |
116
click to vote
AAAI
2006
15 years 5 months ago
2006
This paper considers strategies for external memory based optimal planning. An external breadth-first search exploration algorithm is devised that is guaranteed to find the costop...
139
click to vote
AIRWEB
2007
Springer
15 years 10 months ago
2007
Springer
Peer-to-peer (P2P) networks have received great attention for sharing and searching information in large user communities. The open and anonymous nature of P2P networks is one of ...
159
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Bandit based methods for tree search have recently gained popularity when applied to huge trees, e.g. in the game of go [6]. Their efficient exploration of the tree enables to ret...
174
click to vote
WWW
2011
ACM
14 years 10 months ago
2011
ACM
This paper presents two-stream processing of audio to index the audio content for Spoken Web search. The first stream indexes the meta-data associated with a particular audio doc...
153
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
We present an object recognition algorithm that uses model and image line features to locate complex objects in high clutter environments. Finding correspondences between model an...