Sciweavers

NLP
2000
14 years 3 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»
14 years 12 months ago
Models and Proofs of Protocol Security: A Progress Report
Bruno Blanchet, Hubert Comon-Lundh, Martín ...