1614 search results - page 139 / 323 » Breadth-First Heuristic Search |
112
click to vote
PVLDB
2008
15 years 3 months ago
2008
The popularity of collaborative tagging sites presents a unique opportunity to explore keyword search in a context where query results are determined by the opinion of a network o...
156
click to vote
TSE
2010
14 years 11 months ago
2010
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
218
click to vote
AIPS
2011
14 years 8 months ago
2011
We define a probe to be a single action sequence computed greedily from a given state that either terminates in the goal or fails. We show that by designing these probes carefull...
146
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
Single 2D line drawing is a straightforward method to illustrate 3D objects. The faces of an object depicted by a line drawing give very useful information for the reconstruction ...
116
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Many decision problems can be modelled as adversarial constraint satisfaction, which allows us to integrate methods from AI game playing. In particular, by using the idea of oppone...