Sciweavers

169 search results - page 7 / 34
» shape 1999
Sort
View
POPL
1999
ACM
14 years 3 months ago
Parametric Shape Analysis via 3-Valued Logic
hought of as abstract interpretation for the heap How we talk about the heap   Program var X points to U that has an N field pointing to V   We use first order predicate logic ¡...
Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm
EMMCVPR
1999
Springer
14 years 3 months ago
Deformation Energy for Size Functions
Size functions are functions from the real plane to thenatural numbers useful for describing shapes of objects. They allow to translate the problem of comparing shapes to the probl...
Pietro Donatini, Patrizio Frosini, Claudia Landi
CGF
1999
89views more  CGF 1999»
13 years 10 months ago
Image Morphing with Feature Preserving Texture
Image metamorphosis as an animation tool has mostly been employed in the context of the entire image. This work explores the use of isolated and focused image based metamorphosis ...
Ayellet Tal, Gershon Elber
ISCAS
1999
IEEE
114views Hardware» more  ISCAS 1999»
14 years 3 months ago
Auditory cortical spectral shape analysis in analog VLSI
An analog VLSI circuit used to model spectral shape analysis in the central auditory system is presented. Like the receptive fields of visual cortical neurons, the spectral respon...
M. Erturk, David J. Klein, Shihab A. Shamma
VISUAL
1999
Springer
14 years 3 months ago
Genetic Algorithm for Weights Assignment in Dissimilarity Function for Trademark Retrieval
Abstract. Trademark image retrieval is becoming an important application for logo registry, veri cation, and design. There are two major problems about the current approaches to tr...
David Yuk-Ming Chan, Irwin King