635 search results - page 29 / 127 » Four states are enough! |
SIGUCCS
2000
ACM
13 years 11 months ago
2000
ACM
At Iowa State University, the Office of Academic Information Technologies, the English Department, and the Department of Residence have developed a strategic alliance to plan and ...
CG
2010
Springer
13 years 5 months ago
2010
Springer
Monte-Carlo Tree Search (MCTS) is a successful algorithm used in many state of the art game engines. We propose to improve a MCTS solver when a game has more than two outcomes. It ...
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Near regular textures are pervasive in man-made and natural world. Their global regularity and local randomness pose new difficulties to the state of the art texture analysis and ...
HYBRID
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
LATIN
1992
Springer
13 years 11 months ago
1992
Springer
A reversible automaton is a finite (possibly incomplete) automaton in which each letter induces a partial one-to-one map from the set of states into itself. We give four non-trivi...