Sciweavers

7991 search results - page 170 / 1599
» Using More Reasoning to Improve
Sort
View
CSL
2001
Springer
15 years 10 months ago
Markov's Principle for Propositional Type Theory
Abstract. In this paper we show how to extend a constructive type theory with a principle that captures the spirit of Markov’s principle from constructive recursive mathematics. ...
Alexei Kopylov, Aleksey Nogin
ILP
2003
Springer
15 years 11 months ago
Graph Kernels and Gaussian Processes for Relational Reinforcement Learning
RRL is a relational reinforcement learning system based on Q-learning in relational state-action spaces. It aims to enable agents to learn how to act in an environment that has no ...
Thomas Gärtner, Kurt Driessens, Jan Ramon
SOCIALCOM
2010
15 years 4 months ago
Assessing the Value of Contributions in Tagging Systems
-- Assessing the value of individual users' contributions in peer-production systems is paramount to the design of mechanisms that support collaboration and improve users'...
Elizeu Santos-Neto, Flavio Figueiredo, Jussara M. ...
273
Voted
GECCO
2011
Springer
276views Optimization» more  GECCO 2011»
14 years 9 months ago
Evolution of reward functions for reinforcement learning
The reward functions that drive reinforcement learning systems are generally derived directly from the descriptions of the problems that the systems are being used to solve. In so...
Scott Niekum, Lee Spector, Andrew G. Barto
SIGIR
1998
ACM
15 years 10 months ago
Improving Automatic Query Expansion
Most casual users of IR systems type short queries. Recent research has shown that adding new words to these queries via adhoc feedback improves the retrieval e ectiveness of such ...
Mandar Mitra, Amit Singhal, Chris Buckley