6355 search results - page 18 / 1271 » From Logic to Games |
NETGAMES
2006
ACM
14 years 4 months ago
2006
ACM
Consistency maintenance of replicated data in multiplayer games is a challenging issue due to the performance constraints of real-time interactive applications. We present an appr...
ENTCS
2008
13 years 11 months ago
2008
We build on existing work on finitary modular coalgebraic logics [3,4], which we extend with general fixed points, including CTL- and PDL-like fixed points, and modular evaluation...
FDG
2009
ACM
14 years 5 months ago
2009
ACM
Game reviews are one of the primary forms of videogame journalism and are also one of the prevalent forms of discourse about games. How can we characterize them and better underst...
LMCS
2007
13 years 10 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
ENTCS
2010
13 years 11 months ago
2010
This paper extends previous work on the compilation of higher-order imperative languages into digital circuits [4]. We introduce concurrency, an essential feature in the context o...