834 search results - page 137 / 167 » A Model-Based Approach for Engineering Multimodal Interactiv... |
AAAI
2007
13 years 10 months ago
2007
Many intelligent tutoring systems (ITSs) have been developed, deployed, assessed, and proven to facilitate learning. However, most of these systems do not generally adapt to new c...
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
Distributed mechanisms that regulate the behavior of autonomous agents in open multi-agent systems (MAS) are of high interest since we cannot employ centralized approaches relying...
IUI
2010
ACM
14 years 2 months ago
2010
ACM
A typical knowledge worker is involved in multiple tasks and switches frequently between them every work day. These frequent switches become expensive because each task switch req...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...