Sciweavers

2373 search results - page 155 / 475
» A Model of Facial Behaviour
Sort
View
158
Voted
WIAMIS
2009
IEEE
15 years 11 months ago
Modelling user attention for human-agent interaction
In this work, we propose a design for a user attention model featuring three core components. Our system components can work in real-time, offering indications of user attention f...
Christopher Peters, Stylianos Asteriadis, Genaro R...
TIME
1994
IEEE
15 years 8 months ago
Managing Large Temporal Delays in a Model Based Control System
: In this paper we explain how we have integrated the functionalities of a constraint management system and a temporal data base system to enable a model-based control of systems t...
Fano Ramparany
FMOODS
2007
15 years 6 months ago
Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...
L. Ruhai Cai, Jeremy S. Bradbury, Jürgen Ding...
141
Voted
ENTCS
2008
99views more  ENTCS 2008»
15 years 4 months ago
A Categorical Model of the Fusion Calculus
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
Marino Miculan
127
Voted
ECEASST
2006
95views more  ECEASST 2006»
15 years 4 months ago
Towards Translating Graph Transformation Approaches by Model Transformations
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
Frank Hermann, Harmen Kastenberg, Tony Modica