Sciweavers

887 search results - page 123 / 178
» A Time for Choosing
Sort
View
OOPSLA
2010
Springer
14 years 11 months ago
A simple inductive synthesis methodology and its applications
Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper,...
Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Moo...
PKDD
2010
Springer
129views Data Mining» more  PKDD 2010»
14 years 11 months ago
Smarter Sampling in Model-Based Bayesian Reinforcement Learning
Abstract. Bayesian reinforcement learning (RL) is aimed at making more efficient use of data samples, but typically uses significantly more computation. For discrete Markov Decis...
Pablo Samuel Castro, Doina Precup
108
Voted
TRANSCI
2010
80views more  TRANSCI 2010»
14 years 11 months ago
Congestion Pricing for Schedule-Based Transit Networks
In this paper, we develop models for adjusting or setting fares on a transit system to encourage passengers to choose travel strategies that lead to the least travel delay for the...
Younes Hamdouch, Siriphong Lawphongpanich
CG
2010
Springer
14 years 10 months ago
A Principled Method for Exploiting Opening Books
We used in the past a lot of computational power and human expertise for having a very big dataset of good 9x9 Go games, in order to build an opening book. We improved a lot the al...
Romaric Gaudel, Jean-Baptiste Hoock, Julien Perez,...
111
Voted
COLT
2010
Springer
14 years 10 months ago
Open Loop Optimistic Planning
We consider the problem of planning in a stochastic and discounted environment with a limited numerical budget. More precisely, we investigate strategies exploring the set of poss...
Sébastien Bubeck, Rémi Munos