Sciweavers

1167 search results - page 18 / 234
» Relational Markov Games
Sort
View
STOC
2009
ACM
172views Algorithms» more  STOC 2009»
15 years 10 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
91
Voted
ICMT
2009
Springer
15 years 4 months 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»
14 years 9 months ago
Game Refinement Relations and Metrics
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, ...