We develop a statistical framework for the simultaneous, unsupervised segmentation and discovery of visual object categories from image databases. Examining a large set of manuall...
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...
We define corner points in an image as the intersections among detected straight line segments, and propose an algorithm that detects corners from such a definition. Our corner det...
Andres Solis Montero, Milos Stojmenovic, Amiya Nay...
We present a peer-to-peer version of a cross-media link server that allows users to create and share links between arbitrary forms of digital and physical media. As a specific exa...
Beat Signer, Alexandre de Spindler, Moira C. Norri...
Recently, many video sharing sites provide external links so that their video or audio contents can be embedded into external web sites. For example, users can copy the embedded U...