3938 search results - page 189 / 788 » Interactive Protocols on the Reals |
138
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To identify under which circums...
144
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper proposes the use of reliable group communication as a complement to traditional asynchronous messaging in multi-agent systems. In particular, the mechanism of message p...
144
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
133
click to vote
EUROCRYPT
2006
Springer
15 years 8 months ago
2006
Springer
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
158
click to vote
CW
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper aims at proposing a framework for animating virtual humans that can efficiently interact with real users in virtual reality (VR). If the user’s order can be modeled ...