7393 search results - page 82 / 1479 » Synthesis-for-testability using transformations |
101
click to vote
ECCV
1994
Springer
16 years 4 months ago
1994
Springer
Abstract. We propose a new approach to the correspondence problem that makes use of non-parametric local transforms as the basis for correlation. Non-parametric local transforms re...
108
click to vote
DCC
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents a scheme to design directional lapped transforms. Lapped transforms can be factorized into lifting steps. By introducing directional operator into each lifting...
114
click to vote
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
We present the EMF Model Transformation framework (EMT), which supports the rule-based modification of EMF models. Model transformation rules are defined graphically and compiled...
115
click to vote
FASE
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Collaboration diagrams as described in the official UML documents specify patterns of system structure and interaction. In this paper, we propose their use for specifying...
121
click to vote
ENTCS
2006
15 years 3 months ago
2006
This report summarises the results of the discussions of a working group on model transformation of the Dagstuhl Seminar on Language Engineering for Model-Driven Software Developme...