4372 search results - page 579 / 875 » Algorithmic Theories of Everything |
189
click to vote
SIGECOM
2003
ACM
16 years 5 hour ago
2003
ACM
We consider the problem of designing fast and strategyproof exchanges for dynamic resource allocation problems in distributed systems. The exchange is implemented as a sequence of...
183
click to vote
SIGMETRICS
2003
ACM
16 years 4 hour ago
2003
ACM
It is common to evaluate scheduling policies based on their mean response times. Another important, but sometimes opposing, performance metric is a scheduling policy’s fairness....
195
click to vote
SMA
2003
ACM
16 years 4 hour ago
2003
ACM
In this paper a graph-based method is presented which not only characterizes topological classification of the tessellated surfaces but also simultaneously generates the substanti...
172
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
There has been substantial progress with formal models for sequential decision making by individual agents using the Markov decision process (MDP). However, similar treatment of m...
187
click to vote
PODS
2010
ACM
15 years 12 months ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...