Sciweavers

1115 search results - page 41 / 223
» Separating Shape Graphs
Sort
View
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
14 years 2 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
IJCV
2002
232views more  IJCV 2002»
13 years 8 months ago
Diffusion Snakes: Introducing Statistical Shape Knowledge into the Mumford-Shah Functional
We present a modification of the Mumford-Shah functional and its cartoon limit which facilitates the incorporation of a statistical prior on the shape of the segmenting contour. By...
Daniel Cremers, Florian Tischhäuser, Joachim ...
ICPR
2008
IEEE
14 years 2 months ago
Shape from self-calibration and Fast Marching Method
Shape-from-shading methods recover 3-D shape from intensity images. Often, Lambertian reflectance is assumed. The Lambertian assumption is attractive because it simplifies the a...
Yuji Iwahori, Takashi Nakagawa, Robert J. Woodham,...
ICIAP
1997
ACM
14 years 18 days ago
A Divide-and-Conquer Strategy in Recovering Shape of Book Surface from Shading
A strategy in solving the shape from shading problem for the shape and albedo recovery of book surfaces under the fully perspective environment is proposed. The whole recovery proc...
Seong Ik Cho, Hideo Saito, Shinji Ozawa
CVPR
1999
IEEE
14 years 10 months ago
On the Intrinsic Reconstruction of Shape from its Symmetries
The main question we address is: what is the minimal information required to generate closed, non-intersecting planar boundaries? For this paper we restrict ‘shape’ to this mea...
Peter J. Giblin, Benjamin B. Kimia