Sciweavers

704 search results - page 49 / 141
» Improved Learning of AC0 Functions
Sort
View
CAV
2010
Springer
251views Hardware» more  CAV 2010»
14 years 21 days ago
Automated Assume-Guarantee Reasoning through Implicit Learning
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Min...
IAT
2008
IEEE
13 years 9 months ago
Scaling Up Multi-agent Reinforcement Learning in Complex Domains
TD-FALCON (Temporal Difference - Fusion Architecture for Learning, COgnition, and Navigation) is a class of self-organizing neural networks that incorporates Temporal Difference (...
Dan Xiao, Ah-Hwee Tan
CVPR
2008
IEEE
14 years 10 months ago
Semi-supervised boosting using visual similarity learning
The required amount of labeled training data for object detection and classification is a major drawback of current methods. Combining labeled and unlabeled data via semisupervise...
Christian Leistner, Helmut Grabner, Horst Bischof
SIGIR
2004
ACM
14 years 2 months ago
A joint framework for collaborative and content filtering
This paper proposes a novel, unified, and systematic approach to combine collaborative and content-based filtering for ranking and user preference prediction. The framework inco...
Justin Basilico, Thomas Hofmann
ML
2002
ACM
146views Machine Learning» more  ML 2002»
13 years 8 months ago
Variable Resolution Discretization in Optimal Control
Abstract. The problemof state abstractionis of centralimportancein optimalcontrol,reinforcement learning and Markov decision processes. This paper studies the case of variable reso...
Rémi Munos, Andrew W. Moore