Sciweavers

746 search results - page 104 / 150
» Automatic Segmentation of the Bladder Using Deformable Model...
Sort
View
CAV
2006
Springer
133views Hardware» more  CAV 2006»
13 years 11 months ago
Programs with Lists Are Counter Automata
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Ra...
AVBPA
2005
Springer
350views Biometrics» more  AVBPA 2005»
14 years 1 months ago
Pose Invariant Face Recognition Under Arbitrary Illumination Based on 3D Face Reconstruction
Pose and illumination changes from picture to picture are two main barriers toward full automatic face recognition. In this paper, a novel method to handle both pose and lighting c...
Xiujuan Chai, Laiyun Qing, Shiguang Shan, Xilin Ch...
IJCV
2002
141views more  IJCV 2002»
13 years 7 months ago
Spatio-Temporal Stereo Using Multi-Resolution Subdivision Surfaces
We present a method to automatically extract spatio-temporal descriptions of moving objects from synchronized and calibrated multi-view sequences. The object is modeled by a time-...
Jan Neumann, Yiannis Aloimonos
MICCAI
2009
Springer
14 years 9 months ago
Discriminative, Semantic Segmentation of Brain Tissue in MR Images
A new algorithm is presented for the automatic segmentation and classification of brain tissue from 3D MR scans. It uses discriminative Random Decision Forest classification and ta...
Zhao Yi, Antonio Criminisi, Jamie Shotton, Andr...
ISMIR
2004
Springer
113views Music» more  ISMIR 2004»
14 years 1 months ago
Audio Features for Noisy Sound Segmentation
Automatic audio classification usually considers sounds as music, speech, silence or noise, but works about the noise class are rare. Audio features are generally specific to sp...
Pierre Hanna, Nicolas Louis, Myriam Desainte-Cathe...