1940 search results - page 28 / 388 » Graph Transformation with Variables |
123
click to vote
ICALP
2000
Springer
15 years 6 months ago
2000
Springer
Graph processes are used in order to formalize the relation between global requirement specifications of multi-agent systems by means of message sequence charts, and implementatio...
139
click to vote
FMOODS
2003
15 years 3 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
113
Voted
RT
1998
Springer
15 years 6 months ago
1998
Springer
We describe an idea for making decomposition of Bidirectional Reflectance Distribution Functions into basis functions more efficient, by performing a change-of-variables transform...
97
Voted
TCSV
2002
15 years 2 months ago
2002
Transform approximations are explored for speeding up the software compression of images and video. Approximations are used to replace the regular discrete cosine transform (DCT) w...
130
click to vote
SOSYM
2010
15 years 23 days ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...