4595 search results - page 182 / 919 » Reasoning about Plans |
165
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
Distribution of effort in software engineering process has been the basis for facilitating more reasonable software project planning. This paper reports empirical results on activ...
241
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
163
click to vote
ICRA
2005
IEEE
16 years 23 days ago
2005
IEEE
— This paper proposes a necessary and sufficient condition for parallel grasps. We extend the use of this condition to the task of regrasp planning. In particular, we propose a ...
226
click to vote
ICRA
2005
IEEE
16 years 23 days ago
2005
IEEE
− This paper addresses the combined problem of trajectory planning and tracking control for underactuated AUVs moving on the horizontal plane. A reference feasible trajectory for...
181
click to vote
CCCG
1996
15 years 8 months ago
1996
We present a heuristic approach to the geometric motion planning problem with the aim to quickly solve intuitively simple problems. It is based on a divide-and-conquer path search...