1550 search results - page 64 / 310 » Benchmarking for Graph Transformation |
100
click to vote
ENTCS
2006
15 years 25 days ago
2006
With the growing importance of model-driven development, the ability of transforming models into well-defined semantic domains becomes a key to automated code generation or verifi...
GG
2008
Springer
15 years 1 months ago
2008
Springer
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
118
Voted
JGAA
2002
15 years 15 days ago
2002
Enabling the user of a graph drawing system to preserve the mental map between two different layouts of a graph is a major problem. In this paper we present methods that smoothly ...
99
Voted
GBRPR
2009
Springer
15 years 7 months ago
2009
Springer
A large family of shape comparison methods is based on a medial axis transform combined with an encoding of the skeleton by a graph. Despite many qualities this encoding of shapes ...
123
Voted
AAAI
2008
15 years 3 months ago
2008
This paper investigates the impact of symbolic search for solving domain-independent action planning problems with binary decision diagrams (BDDs). Polynomial upper and exponential...