6355 search results - page 83 / 1271 » From Logic to Games |
124
Voted
WOA
2003
15 years 2 months ago
2003
— In this paper we study the rational balance between local and global policies in virtual communities of agents. To study this problem we use a logical framework for modelling o...
185
click to vote
Book
"Have you ever played a side-scrolling action arcade game on your PC and wondered what it takes to program one? How do the programmers scroll their backgrounds so fast and mak...
169
Voted
SIGMOD
2007
ACM
16 years 28 days ago
2007
ACM
In this paper, we outline several ways in which the database community can contribute to the development of technology for computer games. We outline the architecture of different...
107
Voted
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
We consider parity games played on special pushdown graphs, namely those generated by one-counter processes. For parity games on pushdown graphs, it is known from [22] that decidin...
111
click to vote
FPLAY
2008
15 years 2 months ago
2008
Video games are varied, with vastly different visual layouts and interaction styles; however, most games that share a common genre still have many user interface similarities. The...