Interpolation - PDFSEARCH.IO - Document Search Engine

Interpolation
Results: 1400

#	Item
361	Interpolation in SMTLIB 2.0 J¨ urgen Christ Jochen Hoenicke Add to Reading List Source URL: ultimate.informatik.uni-freiburg.de Language: English - Date: 2013-02-14 11:47:16 Video Video signal Tree Well-formed formula Mathematics Logic Mathematical logic Interpolation
362	What Gives? A Hybrid Algorithm for Error Trace Explanation Vijayaraghavan Murali1 , Nishant Sinha2 , Emina Torlak3 , and Satish Chandra4 1 NUS, Singapore Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:59 Video signal Mathematics PP Algorithm Unsatisfiable core Mathematical logic Interpolation Video
363	Noname manuscript No. (will be inserted by the editor) Interactive Scene Navigation using the GPU Shanat Kolhatkar ⋅ Robert Lagani` ere Add to Reading List Source URL: www.site.uottawa.ca Language: English - Date: 2012-05-22 14:39:00 Video signal Computer graphics Texture mapping Interpolation Rendering Morphing 3D computer graphics Imaging Video
364	Error Invariants Evren Ermis1 , Martin Sch¨af2? , and Thomas Wies3 1 2 Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2012-06-06 07:57:01 Matrix theory Trace First-order logic Interpolation Symbol Μ operator Mathematics Logic Linear algebra
365	Data Structures for Interpolation of Illumination with Radiance and Irradiance Caching Add to Reading List Source URL: static.keymaster.cz Language: English - Date: 2012-10-19 05:57:15 Computing Photon mapping Rendering Radiance Bidirectional reflectance distribution function Octree Cache Hoarding Bounding volume 3D computer graphics Computer graphics Imaging
366	Instantiations, Zippers and EPR Interpolation Nikolaj Bjørner, Arie Gurfinkel, Konstantin Korovin and Ori Lahav Microsoft Research, Software Engineering Institute, University of Manchester, Tel Aviv University Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-05-07 12:02:18 Model theory Automated theorem proving Boolean algebra Resolution Interpolation First-order logic Interpretation Unsatisfiable core Atomic formula Logic Mathematical logic Propositional calculus
367	A NATOMICALLY- BASED MODELS FOR PHYSICAL AND GEOMETRIC RECONSTRUCTION OF HUMANS AND OTHER ANIMALS by Victor Ng-Thow-Hing Add to Reading List Source URL: www.dgp.toronto.edu Language: English - Date: 2008-03-23 07:05:38 Computer graphics 3D computer graphics B-spline Geometric primitive 3D modeling Computer representation of surfaces Mathematics Interpolation Splines Geometry
368	On-Line Geometric Modeling Notes ´ QUADRATIC BEZIER CURVES Kenneth I. Joy Add to Reading List Source URL: graphics.cs.ucdavis.edu Language: English - Date: 2009-09-23 12:58:14 Splines Interpolation Bézier curve Graphic design Differential geometry of curves Tangent PROPT Geometry Curves Differential geometry
369	High Nature Value Farmland Indicator - assessment of the baseline indicator Armin Benzler Division II 1.3 Monitoring High Nature Value Farmland Indicator Add to Reading List Source URL: www.bfn.de Language: English - Date: 2010-12-16 08:15:39 Asymptotic analysis Extrapolation Interpolation Sampling Stratified sampling Indicator Statistics Data Information
370	Geometric Modeling (SSMartin Held FB Computerwissenschaften Universität Salzburg A-5020 Salzburg, Austria Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2015-05-29 07:21:06 Computational science Mathematics Science Splines Geometric modeling Geometric design Salzburg Bézier curve Computational geometry Computer-aided design Geometry Interpolation

UPDATE