7839 search results - page 137 / 1568 » What's there and what's not |
107
click to vote
ICALP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...
125
click to vote
AAMAS
2010
Springer
15 years 1 months ago
2010
Springer
This paper analyzes the entrants to the 2007 TAC Market Design Game. We present a classification of the entries to the competition, and use this classification to compare these ent...
108
click to vote
ADVCS
2010
15 years 1 months ago
2010
This paper reports the results of a multi-agent simulation designed to study the emergence and evolution of symbolic communication. The novelty of this model is that it considers s...
AI
2007
Springer
15 years 1 months ago
2007
Springer
The area of learning in multi-agent systems is today one of the most fertile grounds for interaction between game theory and artificial intelligence. We focus on the foundational...
APAL
2008
15 years 1 months ago
2008
We characterize the o-minimal expansions of the ring of real numbers, in mathematically transparent terms. This should help bridge the gap between investigators in ominimality and ...