Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
We present a method for extracting dense features from stereo and motion sequences. Our dense feature is defined symmetrically with respect to both images, and it is extracted dur...
Content based search in audio-visual collections requires media specific analysis for extracting low level features to be efficiently indexed and searched. We present the SAPIR ...
Walter Allasia, Fabrizio Falchi, Francesco Gallo, ...
The navigational tasks of computingtime-to-impact and controlling movements within specific range are addressed here. By using specially designed lenses various components of thes...
Didi Sazbon, Ehud Rivlin, Zeev Zalevsky, David Men...
A no-reference image metric based on the singular value decomposition of local image gradients is proposed in this paper. This metric provides a quantitative measure of true image...