2000 search results - page 121 / 400 » Program Transformation and Proof Transformation |
233
click to vote
Publication
Still and multi-media images are subject to transformations for compression, steganographic embedding and digital watermarking. In a major program of activities we are engaged in t...
146
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
119
Voted
VLSID
1994
IEEE
15 years 7 months ago
1994
IEEE
A CORDIC based processor array which can be programmed by switch settings to compute the Discrete Hariley, Cosine or Sine lhnsforms or their inverses is described. Through a novel...
155
Voted
FMOODS
2003
15 years 4 months ago
2003
This work aims to extend the algebraical approach to graph transformation to model object-oriented systems structures and computations. A graph grammar based formal framework for o...
146
Voted
PACT
2009
Springer
15 years 10 months ago
2009
Springer
The notion of Fast Fourier Transformation (FFT) describes a range of efficient algorithms to compute the discrete Fourier transformation, frequency distribution in a signal. FFT pl...