Sciweavers

3744 search results - page 125 / 749
» Shape from Symmetry
Sort
View
PLDI
2010
ACM
15 years 9 months ago
Parameterized Verification of Transactional Memories
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
Michael Emmi, Rupak Majumdar, Roman Manevich
ICCV
2003
IEEE
16 years 8 months ago
Tracking Objects Using Density Matching and Shape Priors
We present a novel method for tracking objects by combining density matching with shape priors. Density matching is a tracking method which operates by maximizing the Bhattacharyy...
Tao Zhang, Daniel Freedman
ICCV
1998
IEEE
16 years 8 months ago
A Real-Time Algorithm for Medical Shape Recovery
In this paper, we present a shape recovery technique in 2 0 and 3 0 with specific applications in visualizing and measuring anatomical shapes from medical images. This algorithm m...
Ravi Malladi, James A. Sethian
ICIP
2006
IEEE
16 years 8 months ago
Shape-Based Image Segmentation Using Normalized Cuts
To segment a whole object from an image is an essential and challenging task in image processing. In this paper, we propose a hybrid segmentation algorithm which combines prior sh...
Wenchao Cai, Jue Wu, Albert C. S. Chung
ICIP
2005
IEEE
16 years 8 months ago
A weight-adaptive dynamic model for shape segmentation
Physically based dynamic models are able to describe variable shapes without prior training. Their behaviour to find an object is intuitive, which facilitates corrections of false...
Klaus D. Tönnies, Peter Benedix