Sciweavers

1167 search results - page 18 / 234
» Relational Markov Games
Sort
View
STOC
2009
ACM
172views Algorithms» more  STOC 2009»
16 years 6 months ago
Linear time approximation schemes for the Gale-Berlekamp game and related minimization problems
We design a linear time approximation scheme for the GaleBerlekamp Switching Game and generalize it to a wider class of dense fragile minimization problems including the Nearest C...
Marek Karpinski, Warren Schudy
ICMT
2009
Springer
16 years 17 days ago
A Simple Game-Theoretic Approach to Checkonly QVT Relations
Abstract. The QVT Relations (QVT-R) transformation language allows the definition of bidirectional model transformations, which are required in cases where a two (or more) models ...
Perdita Stevens
CORR
2008
Springer
103views Education» more  CORR 2008»
15 years 6 months ago
Game Refinement Relations and Metrics
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, ...