336 search results - page 8 / 68 » Interpolant Generation for UTVPI |
FPL
2008
Springer
13 years 9 months ago
2008
Springer
Two-variable numerical functions are widely used in various applications, such as computer graphics and digital signal processing. Fast and compact hardware implementations are re...
ADCM
2006
13 years 7 months ago
2006
: Principal lattices are distributions of points in the plane obtained from a triangle by drawing equidistant parallel lines to the sides and taking the intersection points as node...
CADE
2005
Springer
14 years 7 months ago
2005
Springer
We present a combination method for generating interpolants for a class of first-order theories. Using interpolant-generation procedures for individual theories as black-boxes, our...
ECCC
2010
13 years 7 months ago
2010
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a novel directionally adaptive image interpolation based on a multiple-direction wavelet transform, called directionlets. The algorithm uses directionlets to efficient...