1599 search results - page 205 / 320 » Algorithms for Parity Games |
147
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We show how to find and fix faults in Boolean programs by extending the program to a game. In the game, the protagonist can select an alternative implementation for an incorrect st...
164
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper considers resource allocation in a network with mobile agents competing for computational priority. We formulate this problem as a multi-agent game with the players bei...
184
click to vote
HYBRID
2000
Springer
15 years 10 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
168
click to vote
ITICSE
2010
ACM
15 years 8 months ago
2010
ACM
We show how to teach and motivate small quantum computer programs as a supplemental topic in a CS2 data structures class. A traditional example such as Shor’s factorization [8] ...
165
click to vote
CG
2008
Springer
15 years 8 months ago
2008
Springer
Whole-History Rating (WHR) is a new method to estimate the time-varying strengths of players involved in paired comparisons. Like many variations of the Elo rating system, the whol...