Sciweavers

1503 search results - page 26 / 301
» Generalized Parity Games
Sort
View
COMBINATORICS
2004
94views more  COMBINATORICS 2004»
13 years 9 months ago
Bijections and Congruences for Generalizations of Partition Identities of Euler and Guy
In 1958, Richard Guy proved that the number of partitions of n into odd parts greater than one equals the number of partitions of n into distinct parts with no powers of 2 allowed...
James A. Sellers, Andrew V. Sills, Gary L. Mullen
CORR
2008
Springer
148views Education» more  CORR 2008»
13 years 9 months ago
Conversion/Preference Games
We introduce the concept of Conversion/Preference Games, or CP games for short. CP games generalize the standard notion of strategic games. First we exemplify the use of CP games. ...
Stéphane Le Roux, Pierre Lescanne, Ren&eacu...
IWEC
2004
13 years 10 months ago
Engaging Game Characters: Informing Design with Player Perspectives
The behavior of characters in current computer games is generally scripted and predictable. This paper discusses some issues related to creating game characters that enhance player...
Penelope Drennan, Stephen Viller, Peta Wyeth
SPIN
2010
Springer
13 years 7 months ago
Analysing Mu-Calculus Properties of Pushdown Systems
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
Matthew Hague, C.-H. Luke Ong
TEI
2010
ACM
257views Hardware» more  TEI 2010»
14 years 3 months ago
Traditional games meet ICT: a case study on go game augmentation
While pervasive technologies explore new gaming styles, traditional games, such as cards and tabletop games are still appealing and have various irreplaceable flavors. We point ou...
Takahiro Iwata, Tetsuo Yamabe, Mikko Polojärv...