Our goal is to model anatomical variability across individuals, which presents substantial challenges in clinical population studies and in building atlases for segmentation. Base...
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
: This paper presents a novel representation for three-dimensional objects in terms of affine-invariant image patches and their spatial relationships. Multi-view constraints associ...
Fred Rothganger, Svetlana Lazebnik, Cordelia Schmi...
Weaddress the issue ofEuclideanpath mu& ling ina single camerafor activity monitoring in a multi-camera video surveillance system m e paperpmposes a novel linear solufwnro aut...
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
Alessandro Bozzon, Sara Comai, Piero Fraternali, G...