Sciweavers

553 search results - page 5 / 111
» Learning Meets Verification
Sort
View
95
Voted
VW
1998
Springer
174views Virtual Reality» more  VW 1998»
15 years 3 months 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
16 years 14 days 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
15 years 1 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
15 years 8 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