25041 search results - page 4110 / 5009 » Algorithms for Clustering Data |
240
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
225
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
We present a system that combines multiple visual navigation techniques to achieve GPS-denied, non-line-of-sight SLAM capability for heterogeneous platforms. Our approach builds o...
221
click to vote
HAIS
2008
Springer
15 years 8 months ago
2008
Springer
Modeling environments with 3D feature based representations is a challenging issue in current mobile robotics. Fast and robust algorithms are required for applicability to navigati...
201
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
The structure of a Markov network is typically learned using top-down search. At each step, the search specializes a feature by conjoining it to the variable or feature that most ...
193
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
We are interested in learning programs for multiple related tasks given only a few training examples per task. Since the program for a single task is underdetermined by its data, ...