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 |
|