3771 search results - page 21 / 755 » Subobject Transformation Systems |
101
click to vote
ESEC
1997
Springer
15 years 4 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
FUIN
2006
14 years 11 months ago
2006
Adhesive high-level replacement (HLR) systems are introduced as a new categorical framework for graph transformation in the double pushout (DPO) approach, which combines the well-k...
101
click to vote
CVPR
1997
IEEE
16 years 1 months ago
1997
IEEE
We propose a new machine learning paradigm called Graph Transformer Networks that extends the applicability of gradient-based learning algorithms to systems composed of modules th...
129
click to vote
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
101
click to vote
FASE
1998
Springer
15 years 4 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...