341 search results - page 7 / 69 » Learning to satisfy |
AAAI
2010
13 years 4 months ago
2010
Search based solvers for Quantified Boolean Formulas (QBF) have adapted the SAT solver techniques of unit propagation and clause learning to prune falsifying assignments. The tech...
CVPR
2005
IEEE
14 years 9 months ago
2005
IEEE
This paper presents a technique to learn dynamic appearance models from a small number of training frames. Under this framework, dynamic appearance is modelled as an unknown opera...
AAAI
2010
13 years 8 months ago
2010
In this paper a system was developed for robot behavior acquisition using kinesthetic demonstrations. It enables a humanoid robot to imitate constrained reaching gestures directed...
ECML
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
CVPR
2010
IEEE
13 years 11 months ago
2010
IEEE
This paper presents a codebook learning approach for image classification and retrieval. It corresponds to learning a weighted similarity metric to satisfy that the weighted simil...