87 search results - page 7 / 18 » The role of semantics in games and simulations |
TLCA
2009
Springer
14 years 1 months ago
2009
Springer
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
FLAIRS
2003
13 years 8 months ago
2003
This research concerns the comparison of three different artificial evolution approaches for the design of cooperative behavior in a group of simulated mobile robots. The first an...
COOPIS
2003
IEEE
14 years 10 hour ago
2003
IEEE
In: Proceedings of the Eleventh International Conference on Cooperative Information Systems (CoopIS-03), pp. 93–109, Springer-Verlag LNCS Series. c 2003 by Springer-Verlag. We a...
INTETAIN
2005
Springer
14 years 6 days ago
2005
Springer
PeaceMaker is a computer game simulation of the Israeli-Palestinian conflict. It is a tool that can be used to teach Israeli and Palestinian teenagers how both sides can work toget...
ACMACE
2007
ACM
13 years 10 months ago
2007
ACM
In this workshop we investigate a possible role of brain-computer interaction in computer games and entertainment computing. The assumption is that brain activity, whether it is c...