1021 search results - page 36 / 205 » Concepts in Proof Planning |
ICRA
2003
IEEE
14 years 1 months ago
2003
IEEE
- A new motion planning framework is presented that enables multiple mobile robots with limited ranges of sensing and communication to maneuver and achieve goals safely in dynamic ...
ICCAD
1999
IEEE
14 years 29 days ago
1999
IEEE
This paper studies buffer block planning for interconnect-driven floorplanning in deep submicron designs. We first introduce the concept of feasible region (FR) for buffer inserti...
CVPR
2000
IEEE
14 years 10 months ago
2000
IEEE
A sequence of images taken along a camera trajectory captures a subset of scene appearance. If visibility space is the space that encapsulates the appearance of the scene at every...
ICAISC
2004
Springer
14 years 2 months ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
CHI
2002
ACM
14 years 9 months ago
2002
ACM
This paper presents patterns of cooperative interaction derived from ethnographic studies of cooperative work as devices for generalisation, re-use and design. These patterns cons...