Sciweavers

NLP
2000
14 years 6 months ago
Dialogues for Embodied Agents in Virtual Environments
This paper is a progress report on our research, design, and implementation of a virtual reality environment where users (visitors, customers) can interact with agents that help th...
Rieks op den Akker, Anton Nijholt
CAV
2009
Springer
106views Hardware» more  CAV 2009»
15 years 2 months ago
Models and Proofs of Protocol Security: A Progress Report
Bruno Blanchet, Hubert Comon-Lundh, Martín ...