1503 search results - page 61 / 301 » Generalized Parity Games |
ENTCS
2008
13 years 9 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...
EUSFLAT
2007
13 years 10 months ago
2007
Cooperative games under precedence constraints have been introduced by Faigle and Kern [1] , [4] as a generalization of classical cooperative games. An important notion in coopera...
CHI
2011
ACM
13 years 22 days ago
2011
ACM
Game designers frequently invest in aesthetic improvements such as music, sound effects, and animations. However, their exact value for attracting and retaining players remains un...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
As the size of data storing arrays of disks grows, it becomes vital to protect data against double disk failures. An economic way of providing such protection consists of adding tw...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
What's My Method? is the game show that asks the question, "How do you user-test games?" The goal of this session is to highlight important differences between user...