Sciweavers

7340 search results - page 367 / 1468
» The Behavior of Tutoring Systems
Sort
View
RTAS
1998
IEEE
15 years 11 months ago
Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos
In this paper we report the work carried out at VERIMAG 1 within the framework of an research cooperation with CNET 2 . The goal of this work was twofold: to formally specify the ...
Stavros Tripakis, Sergio Yovine
HCI
2007
15 years 8 months ago
What Would Jiminy Cricket Do? Lessons from the First Social Wearable
Work towards the development of a “wearable conscience” that helps individuals make healthy decisions in their everyday lives is described. To be effective, such a system must ...
Timothy W. Bickmore
FLAIRS
2004
15 years 8 months ago
Constraint Processing with Reactive Agents
The integration of methods of Constraint Programming and Multi-Agent-Systems is discussed in this paper. We describe different agent topologies for Constraint Satisfaction Problem...
Georg Ringwelski, Richard J. Wallace
ERSA
2006
109views Hardware» more  ERSA 2006»
15 years 8 months ago
Synthesis of Object Oriented Models on Reconfigurable Hardware
Abstract-- In this work the problem of modeling reconfigurable systems behavior with a precise, executable semantics is considered. The possibility of synthesising such models onto...
Giovanni Agosta, Francesco Bruschi, Marco D. Santa...
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 6 months ago
Clustering in a network of mutually attracting agents
We introduce a model of mutually attracting agents in an arbitrary network, for which the long term behavior results in the emergence of several clusters. The cluster structure is ...
Filip De Smet, Dirk Aeyels