8141 search results - page 39 / 1629 » Higher Order Generalization |
ECCV
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. Understanding texture regularity in real images is a challenging computer vision task. We propose a higher-order feature matching algorithm to discover the lattices of ne...
ICIP
2000
IEEE
14 years 11 months ago
2000
IEEE
We describe a higher-orderspectralanalysis-basedapproach for detecting people by recognizing human motion such as walking or running. The periodic attribute of human motion lends ...
ICPR
2004
IEEE
14 years 11 months ago
2004
IEEE
We propose a new method ? Cubic Higher-order Local Auto-Correlation (CHLAC) ? to address three-way data analysis. This method is a natural extension of Higherorder Local Auto-Corr...
CADE
2009
Springer
14 years 10 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...