5216 search results - page 599 / 1044 » Planning as Model Checking |
163
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
— The purpose of this study was to develop a product design model for impact toughness estimation of low-alloy steel plates. Based on these estimates, the rejection probability o...
177
click to vote
ICRA
2005
IEEE
16 years 12 days ago
2005
IEEE
— For a mobile robot it is a natural task to build a 3D model of its environment. Such a model is not only useful for planning robot actions but also to provide a remote human su...
186
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper presents a model-based vision system for dentistry that will assist in diagnosis, treatment planning and surgical simulation. Dentistry requires the accurate 3...
155
click to vote
UAI
2008
15 years 8 months ago
2008
Formal languages for probabilistic modeling enable re-use, modularity, and descriptive clarity, and can foster generic inference techniques. We introduce Church, a universal langu...
171
click to vote
WSC
2001
15 years 8 months ago
2001
Large-scale military deployments require transporting equipment and personnel over long distances in a short time. Planning an efficient airlift system is complicated and several ...