5216 search results - page 572 / 1044 » Planning as Model Checking |
106
click to vote
DLOG
2003
15 years 8 months ago
2003
In this paper we describe our work on representing and constructing ontologies for breast mammography, which is part of planned set of comprehensive breast imaging and pathology o...
175
click to vote
AAAI
2000
15 years 8 months ago
2000
We propose a frameworkfor robot programming which allows the seamless integration of explicit agent programming with decision-theoretic planning. Specifically, the DTGolog model a...
153
click to vote
WSC
2000
15 years 8 months ago
2000
With the increasing demand for public transportation due to congested highways, trains have become one of the most viable alternatives, especially for daily commuting. While trans...
150
click to vote
ENDM
2010
15 years 7 months ago
2010
Earliest arrival flows model a central aspect of evacuation planning: In a dangerous situation, as many individuals as possible should be rescued at any point in time. Unfortunate...
194
click to vote
ROBOTICA
2006
15 years 6 months ago
2006
The paper considers a technique for computation of the inverse kinematic model of the human arm for robot based rehabilitation that uses measurements of the hand position and orie...