GPU Smoothing of Quad Meshes T. Ni∗ Y. Yeo† A. Myles‡

Source URL: www.cise.ufl.edu

• Multivariate interpolation
• Computer graphics
• 3D computer graphics
• Imaging
• Graphics
• CatmullClark subdivision surface
• Bzier surface
• Subdivision surface
• Shader
• Bicubic interpolation
• Cubic Hermite spline
• Tessellation

4D Cardiac Segmentation of the Epicardium and Left Ventricle G. Pons Moll1 , G. Tadmor2 , R.S. MacLeod3 , B. Rosenhahn1 and D.H. Brooks2 1 Leibniz Universit¨at /Institut f¨ur Informationsverarbeitung (TNT),Hannover, Ge

Source URL: www.tnt.uni-hannover.de

• Interpolation
• Regression analysis
• Computer vision
• Image segmentation
• Active contour model
• Curve fitting
• Smoothing spline
• Spline
• Tensor

From Strong Amalgamability to Modularity of Quantifier-Free Interpolation Roberto Bruttomesso,1 Silvio Ghilardi,1 and Silvio Ranise2 1 2

Source URL: users.mat.unimi.it

1 interpolation.nb Interpolation

Source URL: www.projektwoche.jku.at

Animating Oscillatory Motion With Overlap: Wiggly Splines Michael Kass John Anderson Pixar Animation Studios Pixar Technical Memo 06-06a - JuneAbstract

Source URL: graphics.pixar.com

• Interpolation
• Engineering
• Spline
• Cubic Hermite spline
• Flat spline
• Damping
• 3D modeling
• Imaging
• Technology

A Quantifier-Free Interpolation in Combinations of Equality Interpolating Theories ROBERTO BRUTTOMESSO, Universita` degli Studi - Milano SILVIO GHILARDI, Universita` degli Studi - Milano SILVIO RANISE, FBK - Trento

Source URL: tocl.acm.org

Interpolation and SAT-based Model Checking K. L. McMillan Cadence Berkeley Labs Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark stud

Source URL: www.kenmcmil.com

On interpolation and the Kimura-Georgiou parametrization Andrea Gombani1 and Gy¨ orgy Michaletzky2 1 2

Source URL: www.isib.cnr.it

Verification of Programs by Combining Iterated Specialization with Interpolation Emanuele De Angelis1,3 , Fabio Fioravanti1 , Jorge A. Navas2 , and Maurizio Proietti3 1 University 2 NASA

Source URL: www.sci.unich.it

Gauß, Quadratur und rationale Interpolation Tomas Sauer Lehrstuhl f¨ur Numerische Mathematik Justus–Liebig–Universit¨at Gießen Die Konstruktion der (dort allerdings nicht so genannten) Gauß–Quadraturformel in

Source URL: www.fernuni-hagen.de