3984 search results - page 252 / 797 » A Model-Driven Transformation Method |
160
click to vote
ICMCS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we introduce a new robust image watermarking technique based on the Discrete Wavelet Transform (DWT). The proposed method extends the concept of image denoising to ...
133
click to vote
ICIP
2007
IEEE
15 years 8 months ago
2007
IEEE
In our previous work [1], we proposed a construction of critically sampled perfect reconstruction transforms with directional vanishing moments (DVMs) imposed in the corresponding...
181
click to vote
ARTCOM
2009
IEEE
15 years 2 months ago
2009
IEEE
A new adaptive multispectral image compression technique based on the regions identified is proposed. The algorithm is adaptive in the sense that according to the data type class ...
147
click to vote
LOPSTR
1995
Springer
15 years 8 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
125
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...