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....
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...
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...
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...
— 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...