5216 search results - page 509 / 1044 » Planning as Model Checking |
199
click to vote
AAAI
1998
15 years 8 months ago
1998
One of the most important problems for an intelligent tutoring system is deciding how to respond when a student asks for help. Responding cooperatively requires an understanding o...
156
click to vote
JOT
2006
15 years 6 months ago
2006
UML is the standard visual object modeling language which may be very useful as a system design communication language. However, UML as a real-time modeling language has limitatio...
162
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: In this position paper we propose a process model that provides a development infrastructure in which the usability engineering and software engineering life cycles co-exist in c...
196
click to vote
JAIR
2002
15 years 6 months ago
2002
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
154
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
Organ deformation between preoperative image data and the patient in the OR is the main obstacle for using surgical navigation systems in liver surgery. Our approach is to provide ...