5722 search results - page 1027 / 1145 » Dynamic inference control |
135
click to vote
JBI
2006
15 years 3 months ago
2006
In this paper, we describe our experience with the design and implementation of an embodied conversational agent (ECA) that converses with users in order to change their dietary b...
147
click to vote
JIPS
2006
15 years 3 months ago
2006
: Accurate and efficient monitoring of dynamically changing environments is one of the most important requirements for ubiquitous network environments. Ubiquitous computing provide...
149
click to vote
ENTCS
2007
15 years 3 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...
106
Voted
ENTCS
2007
15 years 3 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
114
Voted
ENTCS
2007
15 years 3 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...