336 search results - page 9 / 68 » Interpolant Generation for UTVPI |
CADE
2006
Springer
13 years 11 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
MMM
2011
Springer
12 years 11 months ago
2011
Springer
In this paper, a new smooth slideshow transition effect, Sewing Photos, is proposed while considering both of smooth content transition and smooth camera motion. Comparing to the ...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
TIP
2010
13 years 2 months ago
2010
In this paper, a motion-aligned auto-regressive (MAAR) model is proposed for frame rate up conversion, where each pixel is interpolated as the average of the results generated by o...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
Distributed Video Coding (DVC) is a coding paradigm that gives the decoder the task to exploit the source statistics to achieve efficient compression. Current approaches to DVC rel...