5216 search results - page 698 / 1044 » Planning as Model Checking |
239
click to vote
AROBOTS
2008
15 years 6 months ago
2008
Autonomous mobile robots need to adapt their behavior to the terrain over which they drive, and to predict the traversability of the terrain so that they can effectively plan thei...
184
click to vote
EOR
2007
15 years 6 months ago
2007
This paper describes an integrated location-distribution model for coordinating logistics support and evacuation operations in disaster response activities. Logistics planning in ...
177
click to vote
IJMMS
2002
15 years 6 months ago
2002
Relations between mental and physical aspects of an agent can be of various types. Sensing and acting are among the more commonly modelled types. In agent modelling approaches ofte...
193
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
202
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
A fast 3D model reconstruction methodology is desirable in many applications such as urban planning, training, and simulations. In this paper, we develop an automated algorithm fo...