4581 search results - page 136 / 917 » Computing Transformation Semigroups |
160
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Program transformations are one of the most valuable compiler techniques to improve data locality. However, restructuring compilers have a hard time coping with data depe...
180
click to vote
ISVLSI
2002
IEEE
15 years 11 months ago
2002
IEEE
Wavelet-based video compression can provide improved codec and bit rates. The shift-variance problem of the discrete wavelet transform on image sequences, however, may cause large...
164
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we present TransUCP, a general framework for transformational analogy. Using our framework we demonstrate that transformational analogy does not meet a crucial condit...
167
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
The Hough Transform [6] -HT- is a standard tool in image analysis that allows recognizing global patterns in an image space. To detect shapes in noisy data, preserving the idea of...
187
click to vote
LOPSTR
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...