9067 search results - page 1482 / 1814 » Adaptive Model Checking |
200
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
We introduce a framework for supporting crowds of participants in collaborative virtual environments (CVEs). The framework is realised as an extension to our previous spatial mode...
197
click to vote
ISMIS
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Spoken dialogue interfaces apply in a number of applications. Engaging in meaningful conversation presupposes the ability to recognize and generate different conversatio...
202
click to vote
LICS
1994
IEEE
15 years 11 months ago
1994
IEEE
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...
207
click to vote
ACII
2007
Springer
15 years 11 months ago
2007
Springer
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...
171
click to vote
ACMACE
2007
ACM
15 years 11 months ago
2007
ACM
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 ...