Search results for "Interpolant"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer	Boosting interpolation with dynamic localized abstraction and redundancy removal.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Interpolant, abstraction, redundancy removal
85	Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer	Stepping forward with interpolants in unbounded model checking.	ICCAD	2006	DBLP DOI BibTeX RDF
71	Hisamoto Hiyoshi, Kokichi Sugihara	Improving the Global Continuity of the Natural Neighbor Interpolation.	ICCSA (3)	2004	DBLP DOI BibTeX RDF
71	Ghislain Franssens	A new non-polynomial univariate interpolation formula of Hermite type.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF	univariate Hermite interpolation, Multipoint Taylor series, 41A58, 26E05, 65D05, 65D15, 41A30
65	Thomas A. Grandine, Thomas A. Hogan	A Parametric Quartic Spline Interpolant to Position, Tangent and Curvature.	Computing	2004	DBLP DOI BibTeX RDF	AMS Subject Classification 41A05, 65D05, 41A15, 41A25, 65D17, 41A29
57	Hisamoto Hiyoshi, Kokichi Sugihara	A Sequence of Generalized Coordinate Systems Based on Voronoi Diagrams and Its Application to Interpolation.	GMP	2000	DBLP DOI BibTeX RDF	multidimensional data interpolation, spatial surface, Voronoi diagram
57	Muhammad Sarfraz 0001	Rational Spline Interpolation Preserving the Shape of the Monotonic Data.	Computer Graphics International	1997	DBLP DOI BibTeX RDF	rational spline interpolation, monotonic data shape preservation, curve representation, cubic numerators, quadratic denominators, data visualisation, positivity, convexity, monotonicity, shape preservation, scientific data, rational interpolant
51	Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani	Interpolant Generation for UTVPI.	CADE	2009	DBLP DOI BibTeX RDF
51	Tatyana Sorokina, Andrew J. Worsey	A multivariate Powell-Sabin interpolant.	Adv. Comput. Math.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) Primary 41A05, Secondary 41A15, 65D05, 65D07, 41A10
51	Azizan Saaban, Abd. Rahni Mt. Piah, Ahmad Abdul Majid	Range Restricted C2 Interpolant to Scattered Data.	CGIV	2007	DBLP DOI BibTeX RDF
51	João Marques-Silva 0001	Improvements to the Implementation of Interpolant-Based Model Checking.	CHARME	2005	DBLP DOI BibTeX RDF
51	Hisamoto Hiyoshi, Kokichi Sugihara	Generalization of an Interpolant Using Voronoi Diagrams in Two Directions.	Shape Modeling International	1999	DBLP DOI BibTeX RDF
43	Christopher Lynch, Yuefeng Tang	Interpolants for Linear Arithmetic in SMT.	ATVA	2008	DBLP DOI BibTeX RDF
43	Zbynek Sír, Bert Jüttler	Spatial Pythagorean Hodograph Quintics and the Approximation of Pipe Surfaces.	IMA Conference on the Mathematics of Surfaces	2005	DBLP DOI BibTeX RDF
43	Valerio Pascucci, Kree Cole-McLaughlin	Parallel Computation of the Topology of Level Sets.	Algorithmica	2004	DBLP DOI BibTeX RDF	Topology, Level sets, Isosurfaces, Betti numbers, Genus
43	Chyi-Cheng Lin, Yu-Tai Ching	A note on computing the saddle values in isosurface polygonization.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Topology consistency, Saddle value, Volume visualization, Marching cubes
43	Jesús M. Carnicer	Multivariate convexity preserving interpolation by smooth functions.	Adv. Comput. Math.	1995	DBLP DOI BibTeX RDF	Subject classification 41A05, 26A51, 65D05, 41A29
43	Yi Li, Weidong Chen 0002, Dongming Lu, Lei Zhao 0011	Applying Natural Neighbor Coordinates for Electromagnetic Tracker Calibration.	ISCIS	2006	DBLP DOI BibTeX RDF	Natural Neighbor Coordinate, Laplace interpolant, electromagnetic tracker calibration, virtual reality
43	George Drettakis, Eugene Fiume	Structured Penumbral Irradiance Computation.	IEEE Trans. Vis. Comput. Graph.	1996	DBLP DOI BibTeX RDF	primary and global illumination, interpolant degree reduction, interpolation, sampling, Rendering, structure, radiosity, mesh simplification, experimental study, irradiance, penumbra, discontinuity meshing, backprojection
37	Gabriel Acosta, Thomas Apel, Ricardo G. Durán, Ariel L. Lombardi	Anisotropic error estimates for an interpolant defined via moments.	Computing	2008	DBLP DOI BibTeX RDF	anisotropic finite elements, interpolation error estimate
37	Ranjit Jhala, Kenneth L. McMillan	Interpolant-Based Transition Relation Approximation.	CAV	2005	DBLP DOI BibTeX RDF
28		Visualization of Positive and Monotone Data by Rational Quadratic Spline.	IVIC	2009	DBLP DOI BibTeX RDF	Visualization, Interpolation, Positivity, Monotonicity, Shape Preserving
28	Hassan Goldani-Moghaddam, Wayne H. Enright	Efficient Contouring on Unstructured Meshes for Partial Differential Equations.	ACM Trans. Math. Softw.	2008	DBLP DOI BibTeX RDF	Visualization, PDE, contour, unstructured mesh, scattered data
28	Alex Brooks, Alexei Makarenko, Ben Upcroft	Gaussian Process Models for Indoor and Outdoor Sensor-Centric Robot Localization.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
28	Johan Karlsson, Tryphon T. Georgiou, Anders Lindquist	Weight selection for gap robustness with degree-constrained controllers.	CDC	2008	DBLP DOI BibTeX RDF
28	Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun	Accelerating Interpolation-Based Model-Checking.	TACAS	2008	DBLP DOI BibTeX RDF
28	Gianpiero Cabodi, Paolo Camurati, Luz Amanda Garcia, Marco Murciano, Sergio Nocco, Stefano Quer	Trading-Off SAT Search and Variable Quantifications for Effective Unbounded Model Checking.	FMCAD	2008	DBLP DOI BibTeX RDF
28	Simon Hubbert, Stefan Müller 0008	Thin plate spline interpolation on the unit interval.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Univariate interpolation, Numerical computation
28	Kenneth L. McMillan	Interpolants and Symbolic Model Checking.	VMCAI	2007	DBLP DOI BibTeX RDF
28	Roland Opfer	Multiscale kernels.	Adv. Comput. Math.	2006	DBLP DOI BibTeX RDF	wavelets, data compression, radial basis functions, multiresolution, refineable functions, scattered data approximation
28	Azizan Saaban, Abd. Rahni Mt. Piah, Ahmad Abdul Majid	Positivity-Preserving Scattered Data Interpolating Surface using C1 Piecewise Cubic Triangular Patches.	CGIV	2006	DBLP DOI BibTeX RDF
28	Ming Li 0017, Xiao-Shan Gao, Jin-San Cheng	Generating Symbolic Interpolants for Scattered Data with Normal Vectors.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	Hermite interpolation surface, Bézier curve, sweeping curve, solid modelling
28	Tao Ju, Scott Schaefer, Joe D. Warren	Mean value coordinates for closed triangular meshes.	ACM Trans. Graph.	2005	DBLP DOI BibTeX RDF	barycentric coordinates, surface deformation, volumetric textures, mean value coordinates
28	Abd. Rahni Mt. Piah, Tim N. T. Goodman, Keith Unsworth	Positivity-Preserving Scattered Data Interpolation.	IMA Conference on the Mathematics of Surfaces	2005	DBLP DOI BibTeX RDF
28	Kenneth L. McMillan	Applications of Craig Interpolation to Model Checking.	ICATPN	2005	DBLP DOI BibTeX RDF
28	Kenneth L. McMillan	Applications of Craig Interpolants in Model Checking.	TACAS	2005	DBLP DOI BibTeX RDF
28	David F. Wiley, Martin Bertram 0001, Bernd Hamann	On a Construction of a Hierarchy of Best Linear Spline Approximations Using a Finite Element Approach.	IEEE Trans. Vis. Comput. Graph.	2004	DBLP DOI BibTeX RDF
28	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan	Abstractions from proofs.	POPL	2004	DBLP DOI BibTeX RDF	counterexample analysis, software model checking, predicate abstraction
28	Kenneth L. McMillan	Applications of Craig Interpolation to Model Checking.	CSL	2004	DBLP DOI BibTeX RDF
28	Kenneth L. McMillan	Craig Interpolation and Reachability Analysis.	SAS	2003	DBLP DOI BibTeX RDF
28	Shmuel Rippa	An algorithm for selecting a good value for the parameter c in radial basis function interpolation.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF
28	A. C. Faul, M. J. D. Powell	Proof of convergence of an iterative technique for thin plate spline interpolation in two dimensions.	Adv. Comput. Math.	1999	DBLP DOI BibTeX RDF
28	Thomas A. Foley	Weighted Bicubic Spline Interpolation to Rapidly Varying Data.	ACM Trans. Graph.	1987	DBLP DOI BibTeX RDF
28	Jens Markus Melenk, Barbara I. Wohlmuth	On residual-based a posteriori error estimation in hp-FEM.	Adv. Comput. Math.	2001	DBLP DOI BibTeX RDF	hp-FEM, Clément interpolant, polynomial inverse estimates, adaptivity, a posteriori error estimation
22	Agi Kurucz, Frank Wolter, Michael Zakharyaschev	The interpolant existence problem for weak K4 and difference logic.	CoRR	2024	DBLP DOI BibTeX RDF
22	Kaiqi Chen, Eugene Lim, Kelvin Lin, Yiyang Chen, Harold Soh	Behavioral Refinement via Interpolant-based Policy Diffusion.	CoRR	2024	DBLP DOI BibTeX RDF
22	Nanye Ma, Mark Goldstein, Michael S. Albergo, Nicholas M. Boffi, Eric Vanden-Eijnden, Saining Xie	SiT: Exploring Flow and Diffusion-based Generative Models with Scalable Interpolant Transformers.	CoRR	2024	DBLP DOI BibTeX RDF
22	Kumar Abhishek 0001, Colin J. Brown, Ghassan Hamarneh	Multi-sample ζ-mixup: richer, more realistic synthetic samples from a p-series interpolant.	J. Big Data	2024	DBLP DOI BibTeX RDF
22	Giacomo Elefante	A barycentric trigonometric Hermite interpolant via an iterative approach.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
22	Yasmina Khiar, Esmeralda Mainar, Eduardo Royo-Amondarain, Beatriz Rubio	On the accurate computation of the Newton form of the Lagrange interpolant.	CoRR	2023	DBLP DOI BibTeX RDF
22	Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding	Formal synthesis of neural Craig interpolant via counterexample guided deep learning.	Inf. Softw. Technol.	2023	DBLP DOI BibTeX RDF
22	Vincent Marguet, Florin Stoican, Ionela Prodan	On the application of the Schoenberg quasi-interpolant for complexity reduction in trajectory generation.	ECC	2023	DBLP BibTeX RDF
22	Kumar Abhishek 0001, Colin J. Brown, Ghassan Hamarneh	Multi-Sample ζ-mixup: Richer, More Realistic Synthetic Samples from a p-Series Interpolant.	CoRR	2022	DBLP DOI BibTeX RDF
22	Giacomo Elefante	A barycentric trigonometric Hermite interpolant via an iterative approach.	CoRR	2022	DBLP DOI BibTeX RDF
22	Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding	Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.	DSA	2022	DBLP DOI BibTeX RDF
22	D. Barrera Rosillo, Salah Eddargani, Abdellah Lamnii	Uniform algebraic hyperbolic spline quasi-interpolant based on mean integral values.	Comput. Math. Methods	2021	DBLP DOI BibTeX RDF
22	Otheman Nouisser, Benaissa Zerroudi	Modified Shepard's method by six-points local interpolant.	J. Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
22	S. Bouhiri, Abdelleh Lamnii, M. Lamnii, Ahmed Zidna	Quasi-interpolant operators in Bernstein basis.	Math. Comput. Simul.	2021	DBLP DOI BibTeX RDF
22	Hongyan Liu 0001, Jin Huang, Wei Zhang	Numerical algorithm based on extended barycentric Lagrange interpolant for two dimensional integro-differential equations.	Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
22	Jean-Paul Berrut, Giacomo Elefante	A linear barycentric rational interpolant on starlike domains.	CoRR	2021	DBLP BibTeX RDF
22	Da Xu	Uniform l1 behavior of the first-order interpolant quadrature scheme for some partial integro-differential equations.	Appl. Math. Lett.	2021	DBLP DOI BibTeX RDF
22	Andrea Raffo, Silvia Biasotti	Weighted quasi-interpolant spline approximations: Properties and applications.	Numer. Algorithms	2021	DBLP DOI BibTeX RDF
22	Jean-Paul Berrut, Giacomo Elefante	Bounding the Lebesgue constant for a barycentric rational trigonometric interpolant at periodic well-spaced nodes.	J. Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
22	Deyun Zhong, Liguan Wang, Bi Lin	A Fast Solution for the Generalized Radial Basis Functions Interpolant.	IEEE Access	2020	DBLP DOI BibTeX RDF
22	Domingo Barrera, Catterina Dagnino, María J. Ibáñez, Sara Remogna	A trivariate near-best blending quadratic quasi-interpolant.	Math. Comput. Simul.	2020	DBLP DOI BibTeX RDF
22	Francesca Pitolli	On the Numerical Solution of Fractional Boundary Value Problems by a Spline Quasi-Interpolant Operator.	Axioms	2020	DBLP DOI BibTeX RDF
22	Andrea Raffo, Silvia Biasotti	Data-driven quasi-interpolant spline surfaces for point cloud approximation.	Comput. Graph.	2020	DBLP DOI BibTeX RDF
22	Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto	Reducing Interpolant Circuit Size Through SAT-Based Weakening.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
22	Enza Pellegrino, Laura Pezza, Francesca Pitolli	Quasi-Interpolant Operators and the Solution of Fractional Differential Problems.	CoRR	2020	DBLP BibTeX RDF
22	Joseph A. Fiordilino, Mohammad Ali Pakzad	A discrete Hopf interpolant and stability of the finite element method for natural convection.	Math. Comput.	2020	DBLP DOI BibTeX RDF
22	M. Derakhshan, M. Zarebnia	On the numerical treatment and analysis of two-dimensional Fredholm integral equations using quasi-interpolant.	Comput. Appl. Math.	2020	DBLP DOI BibTeX RDF
22	Doug L. James	Phong deformation: a better C0 interpolant for embedded deformation.	ACM Trans. Graph.	2020	DBLP DOI BibTeX RDF
22	Ting Gan, Bican Xia, Bai Xue 0001, Naijun Zhan, Liyun Dai	Nonlinear Craig Interpolant Generation.	CAV (1)	2020	DBLP DOI BibTeX RDF
22	S. Bouhiri, Abdelleh Lamnii, M. Lamnii, Ahmed Zidna	A C̃2 spline quasi-interpolant for fitting 3D data on the sphere and applications.	Math. Comput. Simul.	2019	DBLP DOI BibTeX RDF
22	Emine Celik, Eric J. Olson, Edriss S. Titi	Spectral Filtering of Interpolant Observables for a Discrete-in-Time Downscaling Data Assimilation Algorithm.	SIAM J. Appl. Dyn. Syst.	2019	DBLP DOI BibTeX RDF
22	Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto	Logic Synthesis for Interpolant Circuit Compaction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2019	DBLP DOI BibTeX RDF
22	Andrea Raffo, Silvia Biasotti	Weighted Quasi Interpolant Spline Approximations: Properties and Applications.	CoRR	2019	DBLP BibTeX RDF
22	Andrea Raffo, Silvia Biasotti	Weighted Quasi Interpolant Spline Approximation of 3D point clouds via local refinement.	CoRR	2019	DBLP BibTeX RDF
22	Ting Gan, Bican Xia, Bai Xue 0001, Naijun Zhan	Nonlinear Craig Interpolant Generation.	CoRR	2019	DBLP BibTeX RDF
22	Jean Sidon	Local and global error estimates for Berrut's rational interpolant at well-spaced nodes.	J. Approx. Theory	2019	DBLP DOI BibTeX RDF
22	Mehdi Kamandar	Automatic color image contrast enhancement using Gaussian mixture modeling, piecewise linear transformation, and monotone piecewise cubic interpolant.	Signal Image Video Process.	2018	DBLP DOI BibTeX RDF
22	Xiang Fang, Stephen Mann	A Quartic Clough-Tocher Interpolant.	VISIGRAPP (1: GRAPP)	2018	DBLP DOI BibTeX RDF
22	Yusuke Imoto, Daisuke Tagami	A truncation error estimate of the interpolant of a particle method based on the Voronoi decomposition.	JSIAM Lett.	2016	DBLP DOI BibTeX RDF
22	Mark Ainsworth, Manuel A. Sánchez	Computing the Bézier Control Points of the Lagrangian Interpolant in Arbitrary Dimension.	SIAM J. Sci. Comput.	2016	DBLP DOI BibTeX RDF
22	A. Serghini, Ahmed Tijini	New approach to study splines by blossoming method and application to the construction of a bivariate C1 quartic quasi-interpolant.	Comput. Math. Appl.	2016	DBLP DOI BibTeX RDF
22	Bishoksan Kafle, John P. Gallagher	Interpolant tree automata and their application in Horn clause verification.	VPT@ETAPS	2016	DBLP DOI BibTeX RDF
22	Chongyang Deng, Shankui Zhang, Yajuan Li, Wenbiao Jin, Yi Zhao	A tighter upper bound on the Lebesgue constant of Berrut's rational interpolant at equidistant nodes.	Appl. Math. Lett.	2016	DBLP DOI BibTeX RDF
22	André Pierro de Camargo	Erratum: "On the numerical stability of Floater-Hormann's rational interpolant".	Numer. Algorithms	2016	DBLP DOI BibTeX RDF
22	André Pierro de Camargo	On the numerical stability of Floater-Hormann's rational interpolant.	Numer. Algorithms	2016	DBLP DOI BibTeX RDF
22	Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen	Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.	IJCAR	2016	DBLP DOI BibTeX RDF
22	Gianpiero Cabodi, Paolo Camurati, Marco Palena, Paolo Pasini, Danilo Vendraminetto	Reducing interpolant circuit size by ad-hoc logic synthesis and SAT-based weakening.	FMCAD	2016	DBLP DOI BibTeX RDF
22	Xuli Han	Shape-preserving piecewise rational interpolant with quartic numerator and quadratic denominator.	Appl. Math. Comput.	2015	DBLP DOI BibTeX RDF
22	Gianpiero Cabodi, Carmelo Loiacono, Danilo Vendraminetto	Optimization techniques for craig interpolant compaction in unbounded model checking.	Formal Methods Syst. Des.	2015	DBLP DOI BibTeX RDF
22	Wenwu Gao, Zongmin Wu	Approximation orders and shape preserving properties of the multiquadric trigonometric B-spline quasi-interpolant.	Comput. Math. Appl.	2015	DBLP DOI BibTeX RDF
22	Javier Sánchez-Reyes, Jesús Miguel Chacón	A polynomial Hermite interpolant for C2 quasi arc-length approximation.	Comput. Aided Des.	2015	DBLP DOI BibTeX RDF
22	Abderrahim Azouani, Eric J. Olson, Edriss S. Titi	Continuous Data Assimilation Using General Interpolant Observables.	J. Nonlinear Sci.	2014	DBLP DOI BibTeX RDF
22	Cheng-Yin Wu, Chi-An Wu, Chien-Yu Lai, Chung-Yang (Ric) Huang	A Counterexample-Guided Interpolant Generation Algorithm for SAT-Based Model Checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2014	DBLP DOI BibTeX RDF
22	Chafik Allouch, Paul Sablonnière, Driss Sbibih	A collocation method for the numerical solution of a two dimensional integral equation using a quadratic spline quasi-interpolant.	Numer. Algorithms	2013	DBLP DOI BibTeX RDF
22	Len Bos, Stefano De Marchi, Kai Hormann, Jean Sidon	Bounding the Lebesgue constant for Berrut's rational interpolant at general nodes.	J. Approx. Theory	2013	DBLP DOI BibTeX RDF
22	Paola Baratella	A Nyström interpolant for some weakly singular nonlinear Volterra integral equations.	J. Comput. Appl. Math.	2013	DBLP DOI BibTeX RDF