Sciweavers

1912 search results - page 78 / 383
» GOAL as a Planning Formalism
Sort
View
IJRR
2010
132views more  IJRR 2010»
15 years 3 months ago
LQR-trees: Feedback Motion Planning via Sums-of-Squares Verification
Advances in the direct computation of Lyapunov functions using convex optimization make it possible to efficiently evaluate regions of attraction for smooth nonlinear systems. Her...
Russ Tedrake, Ian R. Manchester, Mark Tobenkin, Jo...
ACRI
2006
Springer
16 years 5 days ago
Modeling Robot Path Planning with CD++
Robotic systems are usually built as independent agents that collaborate to accomplish a specific task. Analysis of robot path planning consists of route planning and path generati...
Gabriel A. Wainer
TIME
2000
IEEE
15 years 10 months ago
A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts
Medical therapy planning shares a number of properties of project management. It is, however, different in a few very important aspects — most notably, the more complex notion o...
Robert Kosara, Silvia Miksch
AI
2006
Springer
15 years 8 months ago
A Smart Home Agent for Plan Recognition
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...
Bruno Bouchard, Sylvain Giroux, Abdenour Bouzouane
AIPS
2010
15 years 6 months ago
Coming Up With Good Excuses: What to do When no Plan Can be Found
When using a planner-based agent architecture, many things can go wrong. First and foremost, an agent might fail to execute one of the planned actions for some reasons. Even more ...
Moritz Göbelbecker, Thomas Keller, Patrick Ey...