4074 search results - page 209 / 815 » Abstract Graph Transformation |
134
Voted
SIAMCOMP
2010
15 years 1 months ago
2010
Abstract. We study the Edge Disjoint Paths (EDP) problem in undirected graphs: Given a graph G with n nodes and a set T of pairs of terminals, connect as many terminal pairs as pos...
107
Voted
ACIVS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Using cylindrical parameterization, the 3D mesh surface extracted from colon CT scan images is parameterized onto a cylinder, and afterwards visualized with a modified C...
151
Voted
TOOLS
1998
IEEE
15 years 6 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...
105
Voted
FSTTCS
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
117
click to vote
ICECCS
2009
IEEE
15 years 9 months ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...