5216 search results - page 835 / 1044 » Planning as Model Checking |
186
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
− To facilitate training and planning for medical procedures such as prostate brachytherapy, we are developing an interactive simulation of needle insertion and radioactive seed ...
144
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Even though the large body of knowledge of relational query optimization techniques can be utilized as a starting point for object-oriented query optimization the full exploitatio...
171
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of de...
162
click to vote
DGO
2007
15 years 8 months ago
2007
Enhanced information sharing among criminal justice agencies is a critical concern and a goal of much IT investment. Understanding agencies’ capabilities to achieve this goal is...
180
click to vote
IPCO
2004
15 years 7 months ago
2004
Managing an industrial production facility requires carefully allocating limited resources, and gives rise to large, potentially complicated scheduling problems. In this paper we c...