5948 search results - page 272 / 1190 » Computing Robust Counter-Strategies |
125
click to vote
GRID
2004
Springer
15 years 9 months ago
2004
Springer
— DIRAC (Distributed Infrastructure with Remote Agent Control) has been developed by the CERN LHCb physics experiment to facilitate large scale simulation and user analysis tasks...
123
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
147
Voted
AI50
2006
15 years 8 months ago
2006
Computers have become an essential part of modern life, providing services in a multiplicity of ways. Access to these services, however, comes at a price: human attention is bound...
141
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
This paper presents a complete survey of the use of homotopy methods in game theory. Homotopies allow for a robust computation of game-theoretic equilibria and their refinements....
141
Voted
DAGSTUHL
2000
15 years 5 months ago
2000
The emerging discipline of algorithm engineering has primarily focussed on transforming pencil-and-paper sequential algorithms into robust, efficient, well tested, and easily used ...