Sciweavers

4890 search results - page 236 / 978
» From system specifications to component behavioral models
Sort
View
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
15 years 8 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre
ICRA
2005
IEEE
136views Robotics» more  ICRA 2005»
16 years 8 days ago
Operator Engagement Detection and Robot Behavior Adaptation in Human-Robot Interaction
- It has been shown that in human-robot interaction, the effectiveness of a robot varies inversely with the operator engagement in the task. Given the importance of maintaining opt...
Pramila Rani, Nilanjan Sarkar
CVGIP
2006
116views more  CVGIP 2006»
15 years 6 months ago
Autonomous behaviors for interactive vehicle animations
We present a method for synthesizing animations of autonomous space, water, and land-based vehicles in games or other interactive simulations. Controlling the motion of such vehic...
Jared Go, Thuc D. Vu, James J. Kuffner
BC
2010
163views more  BC 2010»
15 years 4 months ago
Action and behavior: a free-energy formulation
We have previously tried to explain perceptual inference and learning under a free-energy principle that pursues Helmholtz's agenda to understand the brain in terms of energy ...
Karl J. Friston, Jean Daunizeau, James Kilner, Ste...
JOT
2010
144views more  JOT 2010»
15 years 5 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...