5216 search results - page 684 / 1044 » Planning as Model Checking |
173
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The success of NASA’s Mars Exploration Rovers has demonstrated the important benefits that mobility adds to planetary exploration. Very soon, mission requirements will impos...
171
click to vote
ISBI
2007
IEEE
16 years 29 days ago
2007
IEEE
As we develop radiation treatment planning systems for head and neck cancer patients, there is a need to identify reference patients whose anatomical structures share similar feat...
207
click to vote
IROS
2007
IEEE
16 years 27 days ago
2007
IEEE
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
147
click to vote
ICRA
2006
IEEE
16 years 21 days ago
2006
IEEE
— We present a control approach that uses a library of trajectories to establish a global control law or policy. This is an alternative to methods for finding global policies ba...
209
click to vote
ICRA
2003
IEEE
15 years 12 months ago
2003
IEEE
— As people move through their environments, they do not move randomly. Instead, they are often engaged in typical motion patterns, related to specific locations they might be i...