4581 search results - page 86 / 917 » Computing Transformation Semigroups |
86
Voted
BIRTHDAY
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Variables make rule-based systems more abstract and expressive, as witnessed by term rewriting systems and two-level grammars. In this paper we show that variables can be...
103
click to vote
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
CAIP
2007
Springer
15 years 6 months ago
2007
Springer
The eccentricity transform associates to each point of a shape the shortest distance to the point farthest away from it. It is defined in any dimension, for open and closed manyfol...
126
click to vote
DGCI
2006
Springer
15 years 6 months ago
2006
Springer
We propose a fast method for computing distance transforms and skeletons of 3D objects using programmable Graphics Processing Units (GPUs). We use an efficient method, called dista...
129
click to vote
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
Graph transformations are one of the best known approaches for defining transformations in model-based software development. They are defined over the abstract syntax of source and...