Sciweavers

1153 search results - page 5 / 231
» Reversing graph transformations
Sort
View
ICIP
2007
IEEE
14 years 1 months ago
Infinity-Norm Rotation for Reversible Data Hiding
In this paper, we propose a novel transform that preserves the dynamic range—infinity-norm rotation. This transform is perfectly reversible and piecewise linear, and keeps the m...
Lei Yang, Pengwei Hao
ICIP
2003
IEEE
14 years 9 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
WCRE
2000
IEEE
13 years 11 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
14 years 25 days ago
An Injective Language for Reversible Computation
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
ENTCS
2006
192views more  ENTCS 2006»
13 years 7 months ago
Model Transformation From VisualOCL to OCL Using Graph Transformation
In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
Karsten Ehrig, Jessica Winkelmann