Sciweavers

1167 search results - page 18 / 234
» Relational Markov Games
Sort
View
STOC
2009
ACM
172views Algorithms» more  STOC 2009»
16 years 12 days 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
15 years 6 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 12 months ago
Game Refinement Relations and Metrics
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, ...