5216 search results - page 259 / 1044 » Planning as Model Checking |
125
Voted
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Shared computing utilities allocate compute, network, and storage resources to competing applications on demand. An awareness of the demands and behaviors of the hosted...
136
Voted
COLING
1992
15 years 5 months ago
1992
This paper presents a plan-based model of dialogue that combines world, linguistic, and contextual knowledge in order to recognize complex communicative actions such as expressing...
225
click to vote
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Tetralogy of Fallot (ToF) is a severe congenital heart disease that mainly affects the right ventricle (RV). It requires surgical repair early in infancy. Chronic regurgitations ma...
131
click to vote
EOR
2006
15 years 4 months ago
2006
In both the quality improvement and the design of a product, the engineering characteristics affecting product performance are primarily identified and improved to optimize custom...
127
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We discuss the application of Model-Based Diagnosis in (agentbased) planning. Here, a plan together with its executing agent is considered as a system to be diagnosed. It...