5216 search results - page 380 / 1044 » Planning as Model Checking |
156
click to vote
WSC
2007
15 years 8 months ago
2007
Project management involves various sources of uncertainty that affect planning, execution schedules, and cost. At the same time, the influx of information can be employed to redu...
150
click to vote
BILDMED
2008
15 years 7 months ago
2008
For the planning of surgical interventions of the spine exact knowledge about 3D shape and the local bone quality of vertebrae are of great importance in order to estimate the anch...
179
click to vote
WM
2003
15 years 7 months ago
2003
Techniques for computation on generalized diagrams are defined and the KM implications are explored. Descriptive Computing is presented and plan computation based on world models t...
173
click to vote
COR
2006
15 years 6 months ago
2006
Peg Solitaire is a well known puzzle which can prove difficult despite its simple rules. Pegs are arranged on a board such that at least one `hole' remains. By making draught...
165
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— This paper proposes a method for learning viewpoint detection models for object categories that facilitate sequential object category recognition and viewpoint planning...