5084 search results - page 139 / 1017 » Proving Possibility Properties |
173
click to vote
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we present a solution that allows systems to remain active while they are evolving. Our approach goes out from the principle of separated concerns and has two steps....
169
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
173
click to vote
APPROX
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We study the fundamental problem of computing an arbitrary Nash equilibrium in bimatrix games. We start by proposing a novel characterization of the set of Nash equilibri...
164
click to vote
AAAI
1997
15 years 7 months ago
1997
Many stochastic planning problems can be represented using Markov Decision Processes (MDPs). A difficulty with using these MDP representations is that the common algorithms for so...
164
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the problem of allocating items (private goods) among competing agents in a setting that is both prior-free and paymentfree. Specifically, we focus on allocating mu...