Sciweavers

553 search results - page 5 / 111
» Learning Meets Verification
Sort
View
VW
1998
Springer
174views Virtual Reality» more  VW 1998»
14 years 23 days ago
ALife Meets Web: Lessons Learned
Arti cial life might come to play important roles for the World Wide Web, both as a source of new algorithmic paradigms and as a source of inspiration for its future development. N...
Luigi Pagliarini, Ariel Dolan, Filippo Menczer, He...
ICML
2003
IEEE
14 years 9 months ago
Bayes Meets Bellman: The Gaussian Process Approach to Temporal Difference Learning
We present a novel Bayesian approach to the problem of value function estimation in continuous state spaces. We define a probabilistic generative model for the value function by i...
Yaakov Engel, Shie Mannor, Ron Meir
NIPS
1998
13 years 10 months ago
Lazy Learning Meets the Recursive Least Squares Algorithm
Lazy learning is a memory-based technique that, once a query is received, extracts a prediction interpolating locally the neighboring examples of the query which are considered re...
Mauro Birattari, Gianluca Bontempi, Hugues Bersini
ECIR
2009
Springer
14 years 5 months ago
Regression Rank: Learning to Meet the Opportunity of Descriptive Queries
Abstract. We present a new learning to rank framework for estimating context-sensitive term weights without use of feedback. Specifically, knowledge of effective term weights on ...
Matthew Lease, James Allan, W. Bruce Croft