Sciweavers

3022 search results - page 137 / 605
» From plans to planning: the case of nursing plans
Sort
View
WSC
2000
15 years 7 months ago
Creating a paperless municipal court
SIMPROCESS was used to plan a phased migration from a traditional municipal court to a paperless court. The simulation model was also used to provide the financial justification, ...
John M. Petrakis, Michael J. Engiles
SYNASC
2006
IEEE
103views Algorithms» more  SYNASC 2006»
16 years 15 days ago
Incremental Deterministic Planning
We present a new planning algorithm that formulates the planning problem as a counting satisfiability problem in which the number of available solutions guides the planner determ...
Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
MICCAI
2003
Springer
16 years 7 months ago
Needle Steering and Model-Based Trajectory Planning
Needle insertion for percutaneous therapies is formulated as a trajectory planning and control problem. A new concept of needle steering is developed and a Needle Manipulation Jaco...
Simon P. DiMaio, S. E. Salcudean
CRV
2008
IEEE
106views Robotics» more  CRV 2008»
16 years 29 days ago
Path Planning for Planetary Exploration
In this paper we present the work done at the Canadian Space Agency on the problem of planetary exploration. One of the main goals is the over-the-horizon navigation of a mobile r...
Ioannis M. Rekleitis, Jean-Luc Bedwani, Erick Dupu...
LPNMR
2005
Springer
15 years 12 months ago
KMonitor - A Tool for Monitoring Plan Execution in Action Theories
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
Thomas Eiter, Michael Fink, Ján Senko