5216 search results - page 711 / 1044 » Planning as Model Checking |
227
click to vote
ISESE
2003
IEEE
15 years 12 months ago
2003
IEEE
A software development project coordinates work by using work items that represent customer, tester, and developer found defects, enhancements, and new features. We set out to fac...
154
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Structured light is one of the well-known methods in part dimensional inspection that have been successfully employed in various applications in the past decades. In this method, ...
181
click to vote
MM
2000
ACM
15 years 11 months ago
2000
ACM
In highly interactive multimedia applications startup latency is significant, and may negatively impact performance and Quality of Service (QoS). To avoid this, our approach is t...
203
click to vote
CA
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper shows a new approach to model and control interactive objects for simulations with virtual human agents when real time interactivity is essential. A general conceptuali...
169
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
We consider the problem of dialogue adaptation in our Smart Personal Assistant (SPA), which uses a plan-based dialogue model. We present a novel way of integrating learning into a...