1686 search results - page 36 / 338 » Higher Order Deforestation |
ICIP
2000
IEEE
15 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 ...
VIS
2006
IEEE
15 years 11 months ago
2006
IEEE
Accurately representing higher-order singularities of vector fields defined on piecewise linear surfaces is a non-trivial problem. In this work, we introduce a concise yet complet...
ICPR
2004
IEEE
15 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
15 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
15 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...