385 search results - page 18 / 77 » Qualitative Numeric Planning |
MICCAI
2007
Springer
15 years 10 months ago
2007
Springer
DBS for Parkinson's disease involves an extensive planning to find a suitable electrode implantation path to the selected target. We have investigated the feasibility of impro...
70
Voted
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
— A planning method for unraveling manipulation of deformable linear objects is proposed. In manipulation of a linear object, its raveling must be avoided. It takes much time to ...
ECP
1997
Springer
15 years 1 months ago
1997
Springer
This paper concerns the problem of resource reasoning in planning. It defines formally a constraint satisfaction problem, the Time and Resource Problem (T RP), in which resource r...
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
The integration of constraint solvers into proof planning has pushed the problem solving horizon. Proof planning benefits from the general functionalities of a constraint solver s...
AAAI
2008
14 years 12 months ago
2008
We present the first planner capable of reasoning with both the full semantics of PDDL2.1 (level 3) temporal planning and with numeric resources. Our planner, CRIKEY3, employs heu...