264 search results - page 29 / 53 » Verifying Dribble Agents |
IVA
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. How to create effective body animations for virtual agents with emotions remains the state of the art for human animators and a great challenge for computer scientists. I...
ACMICEC
2007
ACM
14 years 2 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...
CADE
2007
Springer
14 years 11 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
LORI
2009
Springer
14 years 5 months ago
2009
Springer
We introduce Coalition Logic for Resource Games (CLRG) which extends Coalition Logic by allowing explicit reasoning about resource endowments of coalitions of agents and resource b...
WAPCV
2007
Springer
14 years 5 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...