238 search results - page 10 / 48 » Planning as Satisfiability |
95
Voted
FLAIRS
2001
15 years 4 months ago
2001
Thispaperdiscussesa proof-of-conceptprototypefor ground-basedautomaticgenerationof validatedrover commandsequences from high-level science and engineeringactivities.Thisprototypei...
123
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
174
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
We present motion planning for dexterous manipulation by whole arm grasp system based on switching contact modes. Motion planning for such a system should consider changing dynami...
132
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract— Trajectory planning and optimization is a fundamental problem in articulated robotics. It is often viewed as a two phase problem of initial feasible path planning aroun...
133
Voted
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
The transportation planning (TP) is well-known basic network problem. However, for some real-world applications, it is often that the TP model is extended to satisfy other additio...