Sciweavers

1535 search results - page 70 / 307
» Lazy Shape Analysis
Sort
View
CAV
2006
Springer
143views Hardware» more  CAV 2006»
13 years 11 months ago
Automatic Termination Proofs for Programs with Shape-Shifting Heaps
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
Josh Berdine, Byron Cook, Dino Distefano, Peter W....
ICBA
2004
Springer
207views Biometrics» more  ICBA 2004»
14 years 1 months ago
Dynamic Local Feature Analysis for Face Recognition
This paper introduces an innovative method, Dynamic Local Feature Analysis (DLFA), for human face recognition. In our proposed method, the face shape and the facial texture informa...
Johnny Ng, Humphrey Cheung
MVA
1992
105views Computer Vision» more  MVA 1992»
13 years 9 months ago
Image Sequence Analysis Using Color Multiplex Image
The analysis of color image sequence is very heavy if the analysis is carried out for each image. But, in many practical cases, there is no need to know the precise motion and sha...
Yoshitomo Yaginuma, Masao Sakauchi
MICCAI
2003
Springer
14 years 9 months ago
Segmentation, Registration, and Deformation Analysis of 3D MR Images of Mice
We demonstrate our mouse MR image and shape analysis pipeline. The long term goal of our work is the description of structural shape variations in normal, genetically identical mic...
Ghassan Hamarneh, Josette Chen, Brian Neiman, Jeff...
ICRA
2008
IEEE
170views Robotics» more  ICRA 2008»
14 years 2 months ago
Human detection using iterative feature selection and logistic principal component analysis
— We present a fast feature selection algorithm suitable for object detection applications where the image being tested must be scanned repeatedly to detected the object of inter...
Wael Abd-Almageed, Larry S. Davis