Sciweavers

7393 search results - page 102 / 1479
» Synthesis-for-testability using transformations
Sort
View
JMIV
2002
122views more  JMIV 2002»
15 years 2 months ago
Markov Random Field Modeling in Median Pyramidal Transform Domain for Denoising Applications
We consider a median pyramidal transform for denoising applications. Traditional techniques of pyramidal denoising are similar to those in wavelet-based methods. In order to remove...
Ilya Gluhovsky, Vladimir P. Melnik, Ilya Shmulevic...
JSS
2010
89views more  JSS 2010»
14 years 10 months ago
Verification and validation of declarative model-to-model transformations through invariants
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we ...
Jordi Cabot, Robert Clarisó, Esther Guerra,...
ASAP
2005
IEEE
118views Hardware» more  ASAP 2005»
15 years 8 months ago
Real-time H/W Implementation of the Approximate Discrete Radon Transform
The Radon transform (RT) is a widely studied algorithm used to perform image pattern extraction in fields such as computer graphics, medical imagery, and avionics. Real-time impl...
Michael T. Frederick, Nathan A. VanderHorn, Arun K...
ICIP
2003
IEEE
16 years 4 months ago
Reversible integer KLT for progressive-to-lossless compression of multiple component images
In this paper, we presented a method for integer reversible implementation of KLT for multiple component image compression. The progressive-to-lossless compression algorithm emplo...
P. Hao, Q. Shi
CSFW
2006
IEEE
15 years 9 months ago
On the Completeness of Attack Mutation Algorithms
An attack mutation algorithm takes a known instance of an attack and transforms it into many distinct instances by repeatedly applying attack transformations. Such algorithms are ...
Shai Rubin, Somesh Jha, Barton P. Miller