1115 search results - page 18 / 223 » Separating Shape Graphs |
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
SMI
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we describe a novel method for searching and comparing 3D objects. The method encodes the geometric and topological information in the form of a skeletal graph and ...
ICCV
2007
IEEE
14 years 2 months ago
2007
IEEE
The matching of planar shapes can be cast as a problem of finding the shortest path through a graph spanned by the two shapes, where the nodes of the graph encode the local simil...
ICIP
2006
IEEE
14 years 10 months ago
2006
IEEE
Active contours are adapted to image segmentation by energy minimization. The energies often exhibit local minima, requiring regularization. Such an a priori can be expressed as a...
TASLP
2008
13 years 8 months ago
2008
The predominant melodic source, frequently the singing voice, is an important component of musical signals. In this paper, we describe a method for extracting the predominant sourc...