5216 search results - page 14 / 1044 » Planning as Model Checking |
VLDB
2004
ACM
14 years 4 months ago
2004
ACM
Progressive Optimization (POP) is a technique to make query plans robust, and minimize need for DBA intervention, by repeatedly re-optimizing a query during runtime if the cardina...
AIPS
1994
14 years 6 days ago
1994
We consider the problem of representing plans for mixed-initiative planning, where several participants cooperate to develop plans. We claim that in such an environment, a crucial...
BCS
2008
14 years 10 days ago
2008
Parity games underlie the model checking problem for the modal
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
– Active SLAM poses the challenge for an autonomous robot to plan efficient paths simultaneous to the SLAM process. The uncertainties of the robot, map and sensor measurements, a...
AIPS
1998
14 years 7 days ago
1998
Casting planning problems as propositional satis ability problems has recently been shown to be an effective way of scaling up plan synthesis. Until now, the bene ts of this appro...