Sciweavers

4435 search results - page 54 / 887
» Algorithms, games, and the internet
Sort
View
ERSHOV
2003
Springer
14 years 3 months ago
Complexity of Model Checking by Iterative Improvement: The Pseudo-Boolean Framework
We present several new algorithms as well as new lower and upper bounds for optimizing functions underlying infinite games pertinent to computer-aided verification.
Henrik Björklund, Sven Sandberg, Sergei G. Vo...
ATAL
2011
Springer
12 years 10 months ago
Game theory-based opponent modeling in large imperfect-information games
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...
Sam Ganzfried, Tuomas Sandholm
WISE
2005
Springer
14 years 3 months ago
Portraying Algorithms with Leonardo Web
Vincenzo Bonifaci, Camil Demetrescu, Irene Finocch...
IMC
2010
ACM
13 years 7 months ago
Detecting algorithmically generated malicious domain names
Sandeep Yadav, Ashwath Kumar Krishna Reddy, A. L. ...
COCO
2009
Springer
96views Algorithms» more  COCO 2009»
14 years 4 months ago
Parallel Approximation of Non-interactive Zero-sum Quantum Games
This paper studies a simple class of zero-sum games played by two competing quantum players: each player sends a mixed quantum state to a referee, who performs a joint measurement...
Rahul Jain, John Watrous