1940 search results - page 112 / 388 » Graph Transformation with Variables |
230
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
Multimedia and network processing applications make extensive use of subword data. Since registers are capable of holding a full data word, when a subword variable is assigned a r...
121
click to vote
GG
2004
Springer
15 years 8 months ago
2004
Springer
We show how edge-labelled graphs can be used to represent first-order logic formulae. This gives rise to recursively nested structures, in which each level of nesting corresponds ...
136
click to vote
IV
2010
IEEE
15 years 1 months ago
2010
IEEE
The first step of any information visualization system is to enable end user to import their dataset into the system. However, non expert user are faced to the difficult task of ch...
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
In the double-pushout approach to graph transformations, most authors assume the left-hand side to be injective, since the noninjective case leads to ambiguous results. Taking into...
102
click to vote
SCP
2008
15 years 3 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...