7393 search results - page 155 / 1479 » Synthesis-for-testability using transformations |
131
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Model transformations operate on models conforming to precisely defined metamodels. Consequently, it often seems relatively easy to chain them: the output of a transforma...
183
Voted
TSE
2011
14 years 10 months ago
2011
In this paper we present a case study in deriving an algorithm from a formal specification via FermaT transformations. The general method (which is presented in a separate paper)...
168
click to vote
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we first propose a new family of geometrical image transforms that decompose images both radially and angularly. Our construction comprises two stages of filter ban...
122
click to vote
IPMI
1999
Springer
16 years 4 months ago
1999
Springer
Abstract. A fundamental problem with a large class of image registration techniques is that the estimated transformation from image A to B does not equal the inverse of the estimat...
137
click to vote
QOSA
2010
Springer
15 years 7 months ago
2010
Springer
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of tr...