Sciweavers

1115 search results - page 13 / 223
» Separating Shape Graphs
Sort
View
CORR
2008
Springer
108views Education» more  CORR 2008»
13 years 7 months ago
Hierarchical Bag of Paths for Kernel Based Shape Classification
Graph kernels methods are based on an implicit embedding of graphs within a vector space of large dimension. This implicit embedding allows to apply to graphs methods which where u...
François-Xavier Dupé, Luc Brun
IPMI
2001
Springer
14 years 8 months ago
Intuitive, Localized Analysis of Shape Variability
Abstract. Analysis of shape variability is important for diagnostic classification and understanding of biological processes. We present a novel shape analysis approach based on a ...
Paul A. Yushkevich, Stephen M. Pizer, Sarang C. Jo...
AVSS
2008
IEEE
14 years 1 months ago
Recognizing Shapes in Video Sequences Using Multi-class Boosting
We model the spatio-temporal variations of the shape of objects in a video sequence using a unique SVD-like decomposition. The decomposition is used to compute shape features, whi...
Naresh P. Cuntoor, Matt Welborn
ICIP
2007
IEEE
14 years 1 months ago
Graph Cut Segmentation with Nonlinear Shape Priors
Graph cut image segmentation with intensity information alone is prone to fail for objects with weak edges, in clutter, or under occlusion. Existing methods to incorporate shape a...
James G. Malcolm, Yogesh Rathi, Allen Tannenbaum
CONCUR
2011
Springer
12 years 7 months ago
Tractable Reasoning in a Fragment of Separation Logic
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
Byron Cook, Christoph Haase, Joël Ouaknine, M...