Restricted Bathymetric Tracklines Interpolation [Extended Abstract] Wenli Li∗, W. Randolph Franklin∗, Salles V. G. Magalhães∗, Marcus V. A. Andrade† 1. INTRODUCTION

Source URL: fwcg14.cse.uconn.edu

Whale: An Interpolation-based Algorithm for Interprocedural Verification Aws Albarghouthi (Univ. of Toronto) Arie Gurfinkel (SEI, CMU)

Source URL: www.cs.utoronto.ca

C 2 Splines Covering Polar Configurations Ashish Myles a a CS Dept, New York University, 715 Broadway, 12th Floor, New York, NY 10003, USA

Source URL: www.ashishmyles.com

• Interpolation
• B-spline
• Spline
• T-spline
• Flat spline
• Cubic Hermite spline
• CatmullClark subdivision surface
• Applied mathematics
• Vision
• Centripetal CatmullRom spline
• Engineering

Flexible G1 Interpolation of Quad Meshes Georges-Pierre Bonneau, Stefanie Hahmann To cite this version: Georges-Pierre Bonneau, Stefanie Hahmann. Flexible G1 Interpolation of Quad Meshes. Graphical Models, Elsevier, 2014

Source URL: hal.inria.fr

Interpolation via weighted `1 minimization Rachel Ward University of Texas at Austin December 12, 2014

Source URL: www.ma.utexas.edu

Threading splines through 3D channels Ashish Myles and J¨org Peters a a University of Florida

Source URL: www.cise.ufl.edu

• Interpolation
• Image processing
• Numerical analysis
• Mathematical analysis
• B-spline
• Spline
• Cubic Hermite spline
• Flat spline
• Control point
• Piecewise linear function
• Piecewise
• Spline wavelet

New Features and Applications of Vampire Symbol Elimination and Interpolation for Software Verification ´ Kryˇstof Hoder, Laura Kovacs, Andrei Voronkov

Source URL: www.complang.tuwien.ac.at

Phase-Based Frame Interpolation for Video Simone Meyer1 Oliver Wang2 1

Source URL: ahornung.net

Eurographics Symposium on Geometry ProcessingKonrad Polthier, Alla Sheffer (Editors) A C2 Polar Jet Subdivision K. Karˇciauskas0 and A. Myles1 and J. Peters †1 0

Source URL: www.cise.ufl.edu

• Interpolation
• Multivariate interpolation
• Mathematical analysis
• 3D computer graphics
• Smooth functions
• Mathematics
• CatmullClark subdivision surface
• Computer-aided design
• B-spline
• Bzier curve
• Subdivision surface
• Spline

Uniform Interpolation of ALC-Ontologies Using Fixpoints Patrick Koopmann? and Renate A. Schmidt The University of Manchester, UK {koopmanp, schmidt}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk