Sciweavers

211 search results - page 3 / 43
» Towards A Shape Analysis for Graph Transformation Systems
Sort
View
89
Voted
GG
2010
Springer
14 years 9 months ago
Verification of Graph Transformation Systems with Context-Free Specifications
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
Barbara König, Javier Esparza
CVPR
2008
IEEE
15 years 11 months ago
Regularizing 3D medial axis using medial scaffold transforms
This paper addresses a key bottleneck in the use of the 3D medial axis (MA) representation, namely, how the complex MA structure can be regularized so that similar, within-categor...
Ming-Ching Chang, Benjamin B. Kimia
ICPR
2008
IEEE
15 years 10 months ago
A coordinate system for articulated 2D shape point correspondences
A framework for mapping a polar-like coordinate system to a non-rigid shape is presented. Using a graph pyramid, a binary shape is decomposed into connected parts, based on its st...
Adrian Ion, Salvador B. López Mármol...
78
Voted
GG
2004
Springer
15 years 2 months ago
Analysis of Metabolic Pathways by Graph Transformation
Biochemical pathways, such as metabolic, regulatory, and signal transduction pathways, constitute complex networks of functional and physical interactions between molecular species...
Francesc Rosselló, Gabriel Valiente
PRL
2007
108views more  PRL 2007»
14 years 9 months ago
Towards a measure of deformability of shape sequences
In this paper we develop a theory for characterizing how deformable a shape is given a sequence of its observations. We define a term called ‘‘deformability index’’ (DI) ...
Amit K. Roy Chowdhury