782 search results - page 122 / 157 » Similarity-Based Data reduction Techniques |
ICML
2008
IEEE
14 years 9 months ago
2008
IEEE
Canonical Correlation Analysis (CCA) is a well-known technique for finding the correlations between two sets of multi-dimensional variables. It projects both sets of variables int...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
—During post-silicon processor debugging, we need to frequently capture and dump out the internal state of the processor. Since internal state constitutes all memory elements, th...
IROS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Although the human hand is a complex biomechanical system, only a small set of features may be necessary for observation learning of functional grasp classes. We explor...
FOCS
2006
IEEE
14 years 2 months ago
2006
IEEE
We convert cell-probe lower bounds for polynomial space into stronger lower bounds for near-linear space. Our technique applies to any lower bound proved through the richness meth...