517 search results - page 33 / 104 » Specification transformers: a predicate transformer approach... |
ICIAP
2007
ACM
14 years 8 months ago
2007
ACM
Real-time histogram specification methods aims to find a continuous function that transforms a source image to match a target distribution with the highest possible degree of accu...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Current middleware systems suffer from drawbacks. Often one is forced to make decisions early in the design process about which classes may participate in inter-machine communicat...
ATVA
2009
Springer
14 years 14 days ago
2009
Springer
We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We ...
IJNSEC
2008
13 years 8 months ago
2008
Blocking artifact is one of the main drawbacks of the block-based watermarking method. Though a number of researches on "transparent" digital watermarking system have be...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
This paper proposes a new texture classification approach. There are two main contributions in the proposed method. First, input texture images are transformed to the composite Fo...