Sciweavers

1217 search results - page 173 / 244
» Real Representations
Sort
View
SCALESPACE
2007
Springer
15 years 10 months ago
Segmentation Under Occlusions Using Selective Shape Prior
In this work, we address the problem of segmenting multiple objects, under possible occlusions, in a level set framework. A variational energy that incorporates a piecewise constan...
Sheshadri Thiruvenkadam, Tony F. Chan, Byung-Woo H...
SEKE
2007
Springer
15 years 10 months ago
EvoSpaces: 3D Visualization of Software Architecture
This paper presents the Evospaces reverse-engineering tool that represents the architecture and metrics of complex software systems in a 3D virtual world. The main goal of our pro...
Sazzadul Alam, Philippe Dugerdil
131
Voted
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
15 years 10 months ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
ICARCV
2006
IEEE
420views Robotics» more  ICARCV 2006»
15 years 10 months ago
Recognizing People's Faces: from Human to Machine Vision
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
Massimo Tistarelli, Manuele Bicego, Enrico Grosso
ICMCS
2006
IEEE
150views Multimedia» more  ICMCS 2006»
15 years 10 months ago
Hierarchical Summarization of Videos by Tree-Structured Vector Quantization
Accurate grouping of video shots could lead to semantic indexing of video segments for content analysis and retrieval. This paper introduces a novel cluster analysis which, depend...
Sergio Benini, Aldo Bianchetti, Riccardo Leonardi,...