Sciweavers

4435 search results - page 54 / 887
» Algorithms, games, and the internet
Sort
View
ERSHOV
2003
Springer
15 years 11 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
14 years 6 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
15 years 12 months ago
Portraying Algorithms with Leonardo Web
Vincenzo Bonifaci, Camil Demetrescu, Irene Finocch...
IMC
2010
ACM
15 years 4 months ago
Detecting algorithmically generated malicious domain names
Sandeep Yadav, Ashwath Kumar Krishna Reddy, A. L. ...
COCO
2009
Springer
96views Algorithms» more  COCO 2009»
16 years 26 days 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