Sciweavers

251 search results - page 23 / 51
» Gaming Emergency Preparedness
Sort
View
ESOP
2008
Springer
13 years 11 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong
CSE
2009
IEEE
14 years 1 months ago
Satisficing the Masses: Applying Game Theory to Large-Scale, Democratic Decision Problems
ACT We present ongoing research on large-scale decision models in which there are many invested individuals. We apply our unique Bayesian belief aggregation approach to decision pr...
Kshanti A. Greene, Joe Michael Kniss, George F. Lu...
CEC
2007
IEEE
14 years 4 months ago
Attraction and cooperation in space
—This paper presents an attraction mechanism and a study of its behavior in noisy spatial IPD games. The attraction mechanism is coupled with a regular IPD strategy to produce th...
Elpida Tzafestas
ICGA
2008
123views Optimization» more  ICGA 2008»
13 years 9 months ago
A Survey of NP-Complete Puzzles
Single-player games (often called puzzles) have received considerable attention from the scientific community. Consequently, interesting insights into some puzzles, and into the a...
Graham Kendall, Andrew J. Parkes, Kristian Spoerer
ATAL
2008
Springer
13 years 11 months ago
Stable cooperation in changing environments
This paper addresses the issue of emergence of robust cooperation among self-interested agents interacting in N-player social dilemma games. A series of graphs are created each ex...
Colm O'Riordan, Humphrey Sorensen