4447 search results - page 28 / 890 » Model Checking Games |
139
click to vote
DIGRA
2003
Springer
15 years 8 months ago
2003
Springer
How can we create computer games facilitating emotional depth in the playing experience? When entering into a persistent virtual game world the player leaves the body behind. It i...
125
Voted
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
120
click to vote
ICIP
2006
IEEE
16 years 4 months ago
2006
IEEE
The substitution of physical bank check exchange by electronic check image transfer brings agility, security and cost reduction to the clearing system. In this paper, we propose a...
123
click to vote
CORR
2012
Springer
13 years 11 months ago
2012
Springer
Cooperative games model the allocation of profit from joint actions, following considerations such as stability and fairness. We propose the reliability extension of such games, ...
133
click to vote
ICPP
2009
IEEE
15 years 10 months ago
2009
IEEE
—Equilibria computation is of great importance to many areas such as economics, control theory, and recently computer science. We focus on the computation of Nash equilibria in t...