3353 search results - page 504 / 671 » Laver and set theory |
67
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
95
Voted
BIOWIRE
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we explore some of the connections between cooperative game theory and the utility maximization framework for routing and flow control in networks. Central to both a...
89
Voted
CSL
2007
Springer
15 years 4 months ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
97
Voted
DNA
2007
Springer
15 years 4 months ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
92
Voted
ECAL
2007
Springer
15 years 4 months ago
2007
Springer
The “order for free” exhibited by some classes of system has been exploited by natural selection in order to build systems capable of exhibiting complex behaviour. Here we expl...