2740 search results - page 333 / 548 » Approximating Component Selection |
145
click to vote
CADE
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...
159
click to vote
JMLR
2012
13 years 6 months ago
2012
Often, high dimensional data lie close to a low-dimensional submanifold and it is of interest to understand the geometry of these submanifolds. The homology groups of a manifold a...
170
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
We present a hierarchical generative model for object recognition that is constructed by weakly-supervised learning. A key component is a novel, adaptive patch feature whose width...
132
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
The state of the art in visual object retrieval from large databases is achieved by systems that are inspired by text retrieval. A key component of these approaches is that local ...
138
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
We present a new machine learning approach for 3D-QSAR, the task of predicting binding affinities of molecules to target proteins based on 3D structure. Our approach predicts bind...