11455 search results - page 1714 / 2291 » The Rayset and Its Applications |
169
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
We introduce a study of position auctions, with an explicit modeling of user navigation through ads. We refer to our model as the PPA model, since it is most applicable in the con...
205
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Multi-Agent Reinforcement Learning (MARL) algorithms suffer from slow convergence and even divergence, especially in largescale systems. In this work, we develop an organization-b...
213
click to vote
EMSOFT
2009
Springer
16 years 2 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
226
click to vote
GECCO
2009
Springer
16 years 2 months ago
2009
Springer
VLSI research, in its continuous push toward further miniaturisation, is seeking to break through the limitations of current circuit manufacture techniques by moving towards biomi...
259
click to vote
ICFEM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...