Sciweavers

1653 search results - page 107 / 331
» Computer science and game theory
Sort
View
80
Voted
FSTTCS
2008
Springer
15 years 1 months ago
Solvency Games
Abstract. We study the decision theory of a maximally risk-averse investor — one whose objective, in the face of stochastic uncertainties, is to minimize the probability of ever ...
Noam Berger, Nevin Kapur, Leonard J. Schulman, Vij...
96
Voted
MFCS
2010
Springer
14 years 11 months ago
Proof Systems and Transformation Games
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
Yoram Bachrach, Michael Zuckerman, Michael Wooldri...
106
Voted
SIGECOM
2008
ACM
122views ECommerce» more  SIGECOM 2008»
15 years 16 days ago
On the windfall of friendship: inoculation strategies on social networks
This paper studies a virus inoculation game on social networks. A framework is presented which allows the measuring of the windfall of friendship, i.e., how much players benefit i...
Dominic Meier, Yvonne Anne Oswald, Stefan Schmid, ...
110
Voted
LICS
2009
IEEE
15 years 7 months ago
Applications of Game Semantics: From Program Analysis to Hardware Synthesis
After informally reviewing the main concepts from game semantics and placing the development of the field in a historical context we examine its main applications. We focus in pa...
Dan R. Ghica
AMAI
2007
Springer
15 years 23 days ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...