6355 search results - page 361 / 1271 » From Logic to Games |
147
click to vote
ENTCS
2006
15 years 6 months ago
2006
The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are w...
266
click to vote
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
Borealis is a distributed stream processing engine that is being developed at Brandeis University, Brown University, and MIT. Borealis inherits core stream processing functionalit...
194
click to vote
ROBOCUP
2001
Springer
15 years 11 months ago
2001
Springer
One of the questions one may ask when following research in robotic soccer is whether there is a measurable progress over the years in the robotic leagues. While everybody who has ...
200
click to vote
CIA
1998
Springer
15 years 11 months ago
1998
Springer
A key lesson learned from economic and game theory research is that negotiation protocols have substantial, rippling effects on the overall nature of the system. online auctions a...
179
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper considers resource allocation in a network with mobile agents competing for computational priority. We formulate this problem as a multi-agent game with the players bei...