7393 search results - page 115 / 1479 » Synthesis-for-testability using transformations |
144
click to vote
ECBS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
96
Voted
SIBGRAPI
2006
IEEE
15 years 9 months ago
2006
IEEE
Scale dependent signal representations have proved to be useful in several image processing applications. In this paper, we define a toggle operator for binarization/segmentation...
103
click to vote
DAGM
2003
Springer
15 years 8 months ago
2003
Springer
Automatic unloading of piled boxes of unknown dimensions is undoubtedly of great importance to the industry. In this contribution a system addressing this problem is described: a l...
120
click to vote
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
125
click to vote
AMC
2007
15 years 3 months ago
2007
In this work the variance of the error of analyzed wind fields obtained from an ensemble Kalman filter is used as a criterion with which to optimize radar network scanning strat...