4488 search results - page 81 / 898 » Focusing Search by Using Problem Solving Experience |
202
click to vote
AIPS
2011
14 years 6 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...
136
click to vote
AI
2001
Springer
15 years 7 months ago
2001
Springer
In recent years, interval constraint-based solvers have shown their ability to efficiently solve challenging non-linear real constraint problems. However, most of the working syst...
128
click to vote
ICCV
2009
IEEE
15 years 28 days ago
2009
IEEE
We propose a multi-object multi-camera framework for tracking large numbers of tightly-spaced objects that rapidly move in three dimensions. We formulate the problem of finding co...
125
click to vote
AIPS
2009
15 years 4 months ago
2009
PDDL2.1 supports modelling of complex temporal planning domains in which solutions must exploit concurrency. Few existing temporal planners can solve problems that require concurr...
ICTAI
2003
IEEE
15 years 8 months ago
2003
IEEE
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...