222 search results - page 18 / 45 » A Calculus for Shapes in Time and Space |
ICIAR
2004
Springer
14 years 1 months ago
2004
Springer
We propose a new fast facial-feature extraction technique for embedded face-recognition applications. A deformable feature model is adopted, of which the parameters are optimized t...
LMCS
2007
13 years 7 months ago
2007
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
MUE
2007
IEEE
14 years 1 months ago
2007
IEEE
After the generation of multimedia data turned digital, an explosion of interest in their data storage, retrieval, and processing has drastically increased. This includes videos, ...
MICCAI
2009
Springer
14 years 8 months ago
2009
Springer
In functional Magnetic Resonance Imaging (fMRI) data analysis, normalization of time series is an important and sometimes necessary preprocessing step in many widely used methods. ...
SSDBM
1999
IEEE
13 years 12 months ago
1999
IEEE
We address the problem of similarity search in large time series databases. We introduce a novel indexing algorithm that allows faster retrieval. The index is formed by creating b...