5995 search results - page 907 / 1199 » Algorithmic Game Theory |
155
Voted
SIGMETRICS
2003
ACM
15 years 10 months 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....
162
click to vote
SMA
2003
ACM
15 years 10 months 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...
143
Voted
ATAL
2003
Springer
15 years 10 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...
148
click to vote
PODS
2010
ACM
15 years 10 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...
156
click to vote
PODS
2010
ACM
15 years 10 months ago
2010
ACM
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...