Sciweavers

2940 search results - page 554 / 588
» Mediated Agent Interaction
Sort
View
ICC
2007
IEEE
14 years 4 months ago
A Mobility Scheme for Personal and Terminal Mobility
Abstract— An IP mobility support protocol that enables personal and terminal mobility for IP-based applications is put forward. This protocol does not require new network entitie...
Bu-Sung Lee, Teck Meng Lim, Chai Kiat Yeo, Quang V...
IROS
2007
IEEE
184views Robotics» more  IROS 2007»
14 years 4 months ago
Integration of emotional reactions on human facial expressions into the robot head MEXI
— Emotion recognition and adequate reactions are a crucial part of human communication and hence should also be considered for interactions between humans and robots. In this pap...
Natascha Esau, Lisa Kleinjohann, Bernd Kleinjohann
LICS
2007
IEEE
14 years 4 months ago
A Complete Axiomatization of Knowledge and Cryptography
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
Mika Cohen, Mads Dam
ECAL
2007
Springer
14 years 3 months ago
Building Virtual Ecosystems from Artificial Chemistry
Abstract. This paper adopts an interdisciplinary view of the significant elements of ecosystems and the methods by which these might be simulated to explore theoretical issues of r...
Alan Dorin, Kevin B. Korb
EEMMAS
2007
Springer
14 years 3 months ago
Swarms of Self-assembling Robots
In this talk I present recent research in swarm robotics, the discipline that studies robotic systems composed of swarms of robots tightly interacting and cooperating to reach thei...
Marco Dorigo