90 search results - page 17 / 18 » Latticed Simulation Relations and Games |
GAMEON
2000
13 years 9 months ago
2000
In this paper we discuss some of the relations between cognition and emotion as exemplified by a particular type of agent architecture, the CogAff agent architecture. We outline a...
IJCAI
1989
13 years 8 months ago
1989
based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
PPDP
2005
Springer
14 years 1 months ago
2005
Springer
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
AVI
2008
13 years 10 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...