624 search results - page 14 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
ACCV
2006
Springer
14 years 2 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
13 years 8 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
13 years 9 months 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
13 years 10 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...
MICCAI
2010
Springer
13 years 6 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...