Sciweavers

755 search results - page 3 / 151
» Graph Transformation for Topology Modelling
Sort
View
77
Voted
BMCBI
2004
120views more  BMCBI 2004»
14 years 11 months ago
Clustering under the line graph transformation: application to reaction network
Background: Many real networks can be understood as two complementary networks with two kind of nodes. This is the case of metabolic networks where the first network has chemical ...
Jose C. Nacher, Nobuhisa Ueda, Takuji Yamada, Mino...
108
Voted
ENTCS
2006
192views more  ENTCS 2006»
14 years 11 months ago
Model Transformation From VisualOCL to OCL Using Graph Transformation
In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
Karsten Ehrig, Jessica Winkelmann
88
Voted
CVPR
2000
IEEE
16 years 1 months ago
Fixed Topology Skeletons
In this paper, we present a novel approach to robust skeleton extraction. We use undirected graphs to model connectivity of the skeleton points. The graph topology remains unchang...
Polina Golland, W. Eric L. Grimson
107
Voted
ENTCS
2006
161views more  ENTCS 2006»
14 years 11 months ago
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
Hartmut Ehrig, Karsten Ehrig
77
Voted
ENTCS
2008
110views more  ENTCS 2008»
14 years 11 months ago
An Efficient Solution for Model Checking Graph Transformation Systems
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani,...