Sciweavers

8838 search results - page 48 / 1768
» Generalizing Domain Theory
Sort
View
AAAI
2010
13 years 11 months ago
Reinforcement Learning via AIXI Approximation
This paper introduces a principled approach for the design of a scalable general reinforcement learning agent. This approach is based on a direct approximation of AIXI, a Bayesian...
Joel Veness, Kee Siong Ng, Marcus Hutter, David Si...
ICALP
2007
Springer
14 years 1 months ago
A Generalization of Cobham's Theorem to Automata over Real Numbers
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
Bernard Boigelot, Julien Brusten
CAV
2009
Springer
182views Hardware» more  CAV 2009»
14 years 4 months ago
Generalizing DPLL to Richer Logics
The DPLL approach to the Boolean satisfiability problem (SAT) is a combination of search for a satisfying assignment and logical deduction, in which each process guides the other....
Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagi...
MANSCI
2007
88views more  MANSCI 2007»
13 years 9 months ago
Resolving Inconsistencies in Utility Measurement Under Risk: Tests of Generalizations of Expected Utility
This paper explores biases in the elicitation of utilities under risk and the contribution that generalizations of expected utility can make to the resolution of these biases. We ...
Han Bleichrodt, Jose Maria Abellan-Perpiñan...
JCAM
2010
84views more  JCAM 2010»
13 years 4 months ago
Transfinite mean value interpolation in general dimension
Mean value interpolation is a simple, fast, linearly precise method of smoothly interpolating a function given on the boundary of a domain. For planar domains, several properties ...
Solveig Bruvoll, Michael S. Floater