624 search results - page 14 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
ACCV
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a method of image-based 3D modeling for intricately-shaped objects, such as a fur, tree leaves and human hair. We formulate the imaging process of these small g...
AUTOMATICA
1999
14 years 11 months ago
1999
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal c...
AIPS
2009
15 years 23 days ago
2009
abstraction heuristics, notably pattern-database and merge-and-shrink heuristics, are employed by some state-ofthe-art optimal heuristic-search planners. The major limitation of t...
PTS
2000
15 years 1 months ago
2000
Coverage analysis of programs and specifications is a common approach to measure the quality and the adequacy of a test suite. This paper presents a probe insertion technique for m...
107
click to vote
MICCAI
2010
Springer
14 years 9 months ago
2010
Springer
Radiotherapy planning requires accurate delineations of the critical structures. To avoid manual contouring, atlas-based segmentation can be used to get automatic delineations. How...