Sciweavers

800 search results - page 40 / 160
» On the Complexity of Parity Games
Sort
View
FSTTCS
2004
Springer
14 years 2 months ago
Visibly Pushdown Games
The class of visibly pushdown languages has been recently defined as a subclass of context-free languages with desirable closure properties and tractable decision problems. We stu...
Christof Löding, P. Madhusudan, Olivier Serre
ICALP
2010
Springer
14 years 2 months ago
Mean-Payoff Games and Propositional Proofs
We associate a CNF-formula to every instance of the mean-payoff game problem in such a way that if the value of the game is non-negative the formula is satisfiable, and if the va...
Albert Atserias, Elitza N. Maneva
HCI
2009
13 years 7 months ago
Interactive Game Based Learning: Advantages and Disadvantages
Abstract. Interactive Game-Based Learning might be used to raise the awareness of students concerning questions of sustainability. Sustainability is a very complex topic. By intera...
Margit Pohl, Markus Rester, Peter Judmaier
ICASSP
2011
IEEE
13 years 1 months ago
Low-complexity detection of golden codes in LDPC-coded OFDM systems
Recent and next-generation wireless broadcasting standards, such as DVB-T2 or DVB-NGH, are considering distributed multi-antenna transmission in order to increase bandwidth effic...
Iker Sobron, Maitane Barrenechea, Pello Ochandiano...
MFCS
2001
Springer
14 years 1 months ago
Playing Games with Algorithms: Algorithmic Combinatorial Game Theory
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview...
Erik D. Demaine