1410 search results - page 117 / 282 » The Algorithmics of Solitaire-Like Games |
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
LATIN
2004
Springer
15 years 4 months ago
2004
Springer
Consider a game in which edges of a graph are provided a pair at a time, and the player selects one edge from each pair, attempting to construct a graph with a component as large ...
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
We present an interactive, hybrid human-computer method for object classification. The method applies to classes of objects that are recognizable by people with appropriate expert...
113
click to vote
FUN
2010
Springer
14 years 9 months ago
2010
Springer
The bank director was pretty upset noticing Joe, the system administrator, spending his spare time playing Mastermind, an old useless game of the 70ies. He had fought the instinct ...
108
Voted
CIAC
2010
Springer
15 years 3 months ago
2010
Springer
The study of simple stochastic games (SSGs) was initiated by Condon for analyzing the computational power of randomized space-bounded alternating Turing machines. The game is play...