5216 search results - page 465 / 1044 » Planning as Model Checking |
188
click to vote
TREC
2001
15 years 8 months ago
2001
Web track results are presented. A software project, IRTools, is described. IRTools is intended to enable information retrieval (IR) experimentation by incorporating methods for m...
137
Voted
WSC
2000
15 years 8 months ago
2000
The aim of this panel session is to point out the importance of agent-directed simulation, as a scientific concept and technological possibility, to enhance the potential of simul...
140
click to vote
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper builds on the combination of robotic path planning algorithms and molecular modeling methods for computing large-amplitude molecular motions, and introduces voxel maps a...
192
Voted
HRI
2006
ACM
16 years 23 days ago
2006
ACM
Autonomous robots use sensors to perceive and track objects in the world. Tracking algorithms use object motion models to estimate the position of a moving object. Tracking effic...
196
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Decentralized partially observable MDPs (DEC-POMDPs) provide a rich framework for modeling decision making by a team of agents. Despite rapid progress in this area, the limited sc...