Sciweavers

866 search results - page 101 / 174
» Bidirectionalizing graph transformations
Sort
View
DAC
1997
ACM
15 years 2 months ago
A Graph-Based Synthesis Algorithm for AND/XOR Networks
In this paper, we introduce a Shared Multiple Rooted XORbased Decomposition Diagram XORDD to represent functions with multiple outputs. Based on the XORDD representation, we dev...
Yibin Ye, Kaushik Roy
ICPR
2008
IEEE
15 years 11 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...
AGTIVE
2003
Springer
15 years 3 months ago
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams
In this paper, the two types of UML interaction diagrams are considered. A translation of sequence diagrams into collaboration diagrams is constructed by means of graph transformat...
Björn Cordes, Karsten Hölscher, Hans-J&o...
ENTCS
2008
114views more  ENTCS 2008»
14 years 10 months ago
Term-graph Rewriting in Tom Using Relative Positions
In this paper, we present the implementation in Tom of a de Bruijn indices generalization allowing the representation of term-graphs over an algebraic signature. By adding pattern...
Emilie Balland, Paul Brauner
ECEASST
2006
123views more  ECEASST 2006»
14 years 10 months ago
Algebraic High-Level Nets as Weak Adhesive HLR Categories
Abstract. Adhesive high-level replacement (HLR) system have been recently introduced as a new categorical framework for graph transformation in the double pushout approach [1, 2]. ...
Ulrike Prange