2701 search results - page 74 / 541 » On the form of witness terms |
176
click to vote
PODC
1995
ACM
15 years 9 months ago
1995
ACM
We show how solution concepts in games such as Nash equilibrium, correlated equilibrium, rationalizability, and sequential equilibrium can be given a uniform definition in terms ...
194
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
Mobile technologies are deployed into diverse social, cultural, political and geographic settings, and incorporated into diverse forms of personal and collective mobility. We pres...
144
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
170
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
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...
162
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the current pre-processing techniques, our app...