9119 search results - page 416 / 1824 » A Simultaneous Search Problem |
158
click to vote
SAC
2005
ACM
16 years 11 days ago
2005
ACM
We consider the problem of information retrieval in a peerto-peer file sharing system. We assume that peers are unreliable, metadata are sparse, and queries are short. In light o...
167
click to vote
ECAI
2004
Springer
16 years 6 days ago
2004
Springer
We present a new conceptual abstraction in symmetry breaking – the GE-tree. The construction and traversal of a GE-tree breaks all symmetries in any constraint satisfaction or si...
190
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
154
click to vote
KR
1998
Springer
15 years 11 months ago
1998
Springer
The initiative in STRIPS planning has recently been taken by work on propositional satisfiability. Best current planners, like Graphplan, and earlier planners originating in the p...
164
click to vote
IJCAI
2007
15 years 8 months ago
2007
Recent scaling up of POMDP solvers towards realistic applications is largely due to point-based methods which quickly converge to an approximate solution for medium-sized problems...