2843 search results - page 83 / 569 » Interpolation by geometric algorithm |
137
Voted
TIP
1998
15 years 2 months ago
1998
Abstract—In this paper, we propose an optimal quadtree (QT)based motion estimator for video compression. It is optimal in the sense that for a given bit budget for encoding the d...
114
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
100
click to vote
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Vector quantization (VQ) is an efficient coding algorithm due to its fast decoding efficiency. Indices of VQ will be lost during the transmission because of the signal interferenc...
95
Voted
MVA
1990
15 years 3 months ago
1990
There is a tradeoff between noise insensitivity and accurate position in edge detection. This paper suggests an adaptivealgorithm which takes advantage of both LOG and NonLL filte...
124
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...