1599 search results - page 54 / 320 » Algorithms for Parity Games |
STOC
2001
ACM
15 years 11 months ago
2001
ACM
ERSHOV
2003
Springer
15 years 4 months ago
2003
Springer
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
100
click to vote
WADS
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. We describe fully polynomial time approximation schemes for generalized multicommodity flow problems arising in VLSI applications such as Global Routing via Buffer Block...
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
— During volume testing, test application time, test data volume and high performance automatic test equipment (ATE) are the major cost factors. Embedded testing including builti...