Sciweavers

2602 search results - page 243 / 521
» Automatic Image Structure Analysis
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Fusion of fMRI, sMRI, and EEG data using canonical correlation analysis
Typically data acquired through imaging techniques such as functional magnetic resonance imaging (fMRI), structural MRI (sMRI), and electroencephalography (EEG) are analyzed separ...
Nicolle M. Correa, Yi-Ou Li, Tülay Adali, Vin...
CVPR
2004
IEEE
16 years 8 months ago
Probabilistic Expression Analysis on Manifolds
In this paper, we propose a probabilistic videobased facial expression recognition method on manifolds. The concept of the manifold of facial expression is based on the observatio...
Ya Chang, Changbo Hu, Matthew Turk
CHARME
2005
Springer
143views Hardware» more  CHARME 2005»
16 years 3 days ago
Saturation-Based Symbolic Reachability Analysis Using Conjunctive and Disjunctive Partitioning
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
Gianfranco Ciardo, Andy Jinqing Yu
ICCV
1995
IEEE
15 years 10 months ago
A Multi-Body Factorization Method for Motion Analysis
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single m...
João Paulo Costeira, Takeo Kanade
TACAS
2010
Springer
225views Algorithms» more  TACAS 2010»
16 years 1 months ago
Automated Termination Analysis for Programs with Second-Order Recursion
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
Markus Aderhold