Interpolation - PDFSEARCH.IO - Document Search Engine

Interpolation
Results: 1400

#	Item
121	JOURNAL OF LATEX CLASS FILES 1 Social Grouping for Multi-target Tracking and Head Pose Estimation in Video Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2016-01-04 16:44:20 Mathematics Logic Abstraction Distribution Functional analysis Interpretation Craig interpolation Limit Linear temporal logic operator
122	Smooth Pycnophylactic Interpolation for Geographical Regions1 Waldo R. Tobler2 ABSTRACT: Census enumerations are usually packaged in irregularly shaped geographical regions. Interior values can be interpolated for such r Add to Reading List Source URL: www.geog.ucsb.edu Language: English - Date: 2005-01-05 11:57:29 Mathematics Geometry Algebra Lattice points Analytic geometry Lattice Finite element method Partial differential equation Sinc function Interpolation Leech lattice Lattice QCD
123	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
124	EVALUATING THE INFLUENCE OF TWEENING ON HUMAN CHANGE PERCEPTION IN ANIMATED CHOROPLETH MAPS Carolyn Fish and Kirk Goldsberry \| Department of Geography Michigan State University Add to Reading List Source URL: thecartofish.com Language: English - Date: 2016-02-09 12:10:01 Cartography Computer animation Inbetweening Visualization Interpolation Choropleth map Geovisualization
125	REPORT FROM THE TRENCHES: Preparing developing-country students for pedometrics D G Rossiter International Institute for Geo-Information Science & Earth Observation (ITC) Enschede (NL) Add to Reading List Source URL: www.css.cornell.edu Language: English - Date: 2016-04-05 05:48:45 Geostatistics Interpolation Spatial data analysis Pedology Cartography Kriging Variogram Digital soil mapping Spatial analysis Spatial dependence Soil classification Field
126	Project 1: Part 2 Here we continue the preliminary project. Calculus on Polynomials There’s a certain pattern in defining many generic functions: (define-generic (do-something (f)) ;; define it for appropriate non-Mero Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2016-02-05 12:38:07 Orthogonal polynomials Polynomials Interpolation Integral Lagrange polynomial Chebyshev polynomials Classical orthogonal polynomials
127	Parallel ODETLAP for Terrain Compression and Reconstruction Jared Stookey Zhongyi Xie ECSE Dept, RPI Add to Reading List Source URL: www.cs.rpi.edu Language: English - Date: 2008-09-21 17:04:26 Patch Software maintenance Software release Multigrid method Geographic information system Interpolation Diff utility Linear interpolation Algorithm Merge
128	ASSIST: A Suite of S functions Implementing Spline smoothing Techniques Yuedong Wang∗ University of California, Santa Barbara, USA and Chunlei Ke Add to Reading List Source URL: www.pstat.ucsb.edu Language: English - Date: 2004-05-19 00:27:37 Regression analysis Interpolation Statistical methods Econometrics Multivariate interpolation Smoothing spline Spline Thin plate spline Generalized additive model Linear regression Cubic Hermite spline Nonparametric regression
129	. .  , 2003, . 24, . 6, 1237–1258 Performance evaluation of spatial interpolation methods in the presence of noise ¨ ZPINAR and L. O ¨ ZDAMAR† Add to Reading List Source URL: www.geog.ucsb.edu Language: English - Date: 2005-02-02 12:21:41 Interpolation Geostatistics Kriging Multivariate interpolation Variogram Radial basis function Semivariance Regression analysis Regression-Kriging Gaussian process
130	On interpolation in decision procedures⋆ Maria Paola Bonacina and Moa Johansson Dipartimento di Informatica, Universit` a degli Studi di Verona Strada Le Grazie 15, IVerona, Italy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Formal methods Craig interpolation Boolean satisfiability problem Unit propagation Resolution Interpolation Propositional calculus Satisfiability modulo theories

UPDATE