Sciweavers

336 search results - page 2 / 68
» Interpolant Generation for UTVPI
Sort
View
CVGIP
2002
85views more  CVGIP 2002»
13 years 5 months ago
Minimizing the Distortion of Affine Spline Motions
This paper proposes a simple approach to the affine motion interpolation problem, where an affine spline motion is generated that interpolates a given sequence of affine keyframes...
Dae-Eun Hyun, Bert Jüttler, Myung-Soo Kim
CAV
2012
Springer
222views Hardware» more  CAV 2012»
11 years 7 months ago
Leveraging Interpolant Strength in Model Checking
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
Simone Fulvio Rollini, Ondrej Sery, Natasha Sharyg...
CORR
2010
Springer
67views Education» more  CORR 2010»
13 years 7 days ago
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebasti...
ICASSP
2011
IEEE
12 years 9 months ago
Directional Color Filter Array interpolation based on multiscale color gradients
Single sensor digital cameras capture one color value for every pixel location. The remaining two color channel values need to be estimated to obtain a complete color image. This ...
Ibrahim Pekkucuksen, Yucel Altunbasak