abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
To build autonomous robots able to live and interact with humans in a real-world dynamic and uncertain environment, the design of architectures permitting robots to develop attachm...
The demo will show two highly expressive virtual agents introducing the audience to a traditional Japanese room. The agent models and gestures have been created by a professional ...
The user’s behavior and his interpretation of interactions with others is influenced by his cultural background, which provides a number of heuristics or patterns of behavior and...
Multi-Agent Systems (MAS) in health-care domains are showing a rapid increase, in order to manage complex tasks and adapt gracefully to unexpected events. On the other hand, the la...