Sciweavers

4352 search results - page 564 / 871
» A Representation Theorem and Applications
Sort
View
ICIP
2010
IEEE
15 years 4 months ago
Curvature analysis of pattern transformation manifolds
Transformation manifolds are quite attractive for image analysis applications that require transformation invariance properties. The geometric structure of a transformation manifo...
Elif Vural, Pascal Frossard
ICIP
2010
IEEE
15 years 4 months ago
Monocular Extraction of 2.1D Sketch
The 2.1D sketch is a layered representation of occluding and occluded surfaces of the scene. Extracting the 2.1D sketch from a single image is a difficult and important problem ar...
Mohamed Amer, Raviv Raich, Sinisa Todorovic
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 4 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
ICCV
2009
IEEE
15 years 4 months ago
Analysis of orientation and scale in smoothly varying textures
We present a novel representation for modeling textured regions subject to smooth variations in orientation and scale. Utilizing the steerable pyramid of Simoncelli and Freeman as...
Jason Chang, John W. Fisher III
ICMCS
2009
IEEE
231views Multimedia» more  ICMCS 2009»
15 years 4 months ago
Dynamic face appearance modeling and sight direction estimation based on local region tracking and scale-space topo-represention
Dynamic modeling of facial appearances and sight directions are demanded for HCI and multimedia applications. Traditional approaches for face tracking and eye tracking from 2D vid...
Shaun J. Canavan, Lijun Yin