2436 search results - page 154 / 488 » Comonadic Notions of Computation |
104
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-autom...
253
click to vote
ICCCI
2011
Springer
14 years 4 months ago
2011
Springer
Multiagent reinforcement learning problems are especially difficult because of their dynamism and the size of joint state space. In this paper a new benchmark problem is proposed, ...
137
click to vote
CG
1999
Springer
15 years 4 months ago
1999
Springer
Context is a key issue in interaction between human and computer, describing the surrounding facts that add meaning. In mobile computing research published the parameter location ...
119
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
— Bargaining games on exchange networks have been studied by both economists and sociologists. A Balanced Outcome [9], [15] for such a game is an equilibrium concept that combine...
129
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...