7393 search results - page 21 / 1479 » Synthesis-for-testability using transformations |
115
click to vote
APLAS
2001
ACM
15 years 1 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
90
Voted
ECMDAFA
2010
Springer
15 years 29 days ago
2010
Springer
Dynamic UML models like sequence diagrams (SD) lack sufficient formal semantics, making it difficult to build automated tools for their analysis, simulation and validation. A commo...
IGARSS
2010
14 years 7 months ago
2010
In this paper, we investigate the use of the watershed transformation for integrating spatial and spectral information in the process of endmember extraction for spectral unmixing...
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents a new approach in automation for crack detection on pavement surface images. The method is based on the continuous wavelet transform. In the first step, a sepa...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
To detect multiple objects of interest, the methods based on Hough transform use non-maxima supression or mode seeking in order to locate and to distinguish peaks in Hough images....