7393 search results - page 478 / 1479 » Synthesis-for-testability using transformations |
200
click to vote
JUCS
2010
15 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
195
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Divisive normalization has been recognized as a successful approach to model the perceptual sensitivity of biological vision. It also provides a useful image representation that i...
165
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
This paper describes salienShrink, a method to denoise images based on computing a map of salient coefficients in the wavelet domain and use it to improve common denoising algorit...
181
click to vote
ICIP
2000
IEEE
16 years 8 months ago
2000
IEEE
This paper presents a method for the reconstruction of a regularlysampled image from its irregularly-spaced samples. Such reconstruction is often needed in image processing and co...
158
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
Advances in medical imaging technique make it possible to study shape variations of neuroanatomical structures in vivo, which has been proved useful in the study of neuropathology...