3984 search results - page 89 / 797 » A Model-Driven Transformation Method |
118
Voted
DCC
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we present a fast intra prediction method based on separating the transformed coefficients. The prediction block can be obtained from the transformed and quantized...
147
click to vote
LOPSTR
2009
Springer
15 years 10 months 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 ...
124
click to vote
HICSS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents the time domain and timefrequency domain analysis results of incipient events in single-phase distribution transformers. This analysis will aid in the developm...
120
Voted
MVA
2007
15 years 5 months ago
2007
In this paper, we restore a blurred image caused by defocus of a lens using the shift-invariant Wavelet transform realized by the RI-Spline Wavelets. In a defocus blurred image, t...
133
Voted
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper, we present a new deconvolution method, able to deal with noninvertible blurring functions. To avoid noise amplification, a prior model of the image to be reconstruc...