Sciweavers

220 search results - page 23 / 44
» Global Conformal Parameterization
Sort
View
MICCAI
2009
Springer
14 years 7 months ago
Multivariate Tensor-Based Brain Anatomical Surface Morphometry via Holomorphic One-Forms
Abstract. Here we introduce multivariate tensor-based surface morphometry using holomorphic one-forms to study brain anatomy. We computed new statistics from the Riemannian metric ...
Yalin Wang, Tony F. Chan, Arthur W. Toga, Paul M. ...
CP
2008
Springer
13 years 11 months ago
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
Hélène Collavizza, Michel Rueher, Pa...
ICCV
2009
IEEE
15 years 2 months ago
Recovering the Spatial Layout of Cluttered Rooms
In this paper, we consider the problem of recovering the spatial layout of indoor scenes from monocular images. The presence of clutter is a major problem for existing singleview...
Varsha Hedau, Derek Hoiem, David Forsyth
ICMCS
2005
IEEE
137views Multimedia» more  ICMCS 2005»
14 years 3 months ago
Modeling Dynamic Textures Using Subspace Mixtures
In this paper, we aim at modeling video sequences that exhibit temporal appearance variation. The dynamic texture model proposed in [6] is effective to model simple dynamic scene...
Che-Bin Liu, Ruei-Sung Lin, Narendra Ahuja
CVPR
2003
IEEE
14 years 3 months ago
Deformable Pedal Curves with Application to Face Contour Extraction
Pedal curves are the loci of the feet of perpendiculars to the tangents of a fixed curve to a fixed point called the pedal point. By varying the location of the pedal point, def...
Fuzhen Huang, Jianbo Su