—Color models are often used for representing object appearance for foreground segmentation applications. The relationships between colors can be just as useful for object select...
Vanishing points provide valuable information regarding the camera model used to capture an image. To explore the relationship between classes of camera models and the location of...
In this paper, we describe an approach for the automatic medical annotation task of the 2008 CLEF cross-language image retrieval campaign (ImageCLEF). The data comprise 12076 full...
For many computer vision problems, it is very important to produce the groundtruth data. Manual data labeling is labor-intensive and prone to the human errors, whereas fully autom...
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...