Search results for "interpolants"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Philip W. Sharp, James H. Verner	Generation of High-Order Interpolants for Explicit Runge-Kutta Pairs.	ACM Trans. Math. Softw.	1998	DBLP DOI BibTeX RDF	high order interpolants, generation, pairs, Runge-Kutta, explicit
74	Matthias Heizmann, Jochen Hoenicke, Andreas Podelski	Nested interpolants.	POPL	2010	DBLP DOI BibTeX RDF	floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement
70	Suresh K. Lodha, Richard Franke	Scattered Data Techniques for Surfaces.	Scientific Visualization	1997	DBLP DOI BibTeX RDF	radial, visualization, interpolation, triangulation, polynomial, surfaces, subdivision, algebraic, splines, parametric, scattered, rational, alpha shape, interrogation
61	Daniel Kroening, Georg Weissenbacher	Lifting Propositional Interpolants to the Word-Level.	FMCAD	2007	DBLP DOI BibTeX RDF
61	Kavita Bala, Julie Dorsey, Seth J. Teller	Radiance interpolants for accelerated bounded-error ray tracing.	ACM Trans. Graph.	1999	DBLP DOI BibTeX RDF	4D interpolation, interactive, data structures, approximation, rendering, visibility, interval arithmetic, error bounds, rendering systems, radiance
60	Jan S. Hesthaven, Sidi Mahmoud Kaber, Laura B. Lurati	Padé-Legendre Interpolants for Gibbs Reconstruction.	J. Sci. Comput.	2006	DBLP DOI BibTeX RDF	Padé interpolants, Legendre polynomials, Gibbs phenomenon
56	Alexander Fuchs 0003, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli	Ground Interpolation for the Theory of Equality.	TACAS	2009	DBLP DOI BibTeX RDF
56	Per-Olof Fjällström	Smoothing of Polyhedral Hodels.	SCG	1986	DBLP DOI BibTeX RDF
56	Lyle Noakes, Ryszard Kozera, Reinhard Klette	Length Estimation for Curves with epsilon-Uniform Sampling.	CAIP	2001	DBLP DOI BibTeX RDF	discrete curves, length estimation, quadratic interpolants
56	Theodosis Dimitrakos, T. S. E. Maibaum	Notes on Refinement, Interpolation and Uniformity.	ASE	1997	DBLP DOI BibTeX RDF	step-wise refinement, modularity properties, logic-independent framework, uniform interpolants, specification formalism orthogonal expansion, software maintenance, interpolation, uniformity, program development, proof obligations
47	Carla Manni, Paul Sablonnière	Quadratic spline quasi-interpolants on Powell-Sabin partitions.	Adv. Comput. Math.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65D05, 41A50, 41A05, 41A25
47	Kenneth L. McMillan	Interpolants and Symbolic Model Checking.	VMCAI	2007	DBLP DOI BibTeX RDF
47	Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer	Stepping forward with interpolants in unbounded model checking.	ICCAD	2006	DBLP DOI BibTeX RDF
47	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
47	Byung-Gook Lee, Joon-Jae Lee, Jaechil Yoo	An Efficient Scattered Data Approximation Using Multilevel B-Splines Based on Quasi-Interpolants.	3DIM	2005	DBLP DOI BibTeX RDF
47	Greta Yorsh, Madanlal Musuvathi	A Combination Method for Generating Interpolants.	CADE	2005	DBLP DOI BibTeX RDF
47	Byung-Gook Lee, Joon-Jae Lee, Ki-Ryoung Kwon	Quasi-interpolants Based Multilevel B-Spline Surface Reconstruction from Scattered Data.	ICCSA (3)	2005	DBLP DOI BibTeX RDF
47	Peter R. Graves-Morris, Bernhard Beckermann	The compass (star) identity for vector-valued rational interpolants.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF
42	Brian Keng, Andreas G. Veneris	Scaling VLSI design debugging with interpolation.	FMCAD	2009	DBLP DOI BibTeX RDF
42	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
42	Himanshu Jain, Edmund M. Clarke, Orna Grumberg	Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.	CAV	2008	DBLP DOI BibTeX RDF
42	Gianpiero Cabodi, Paolo Camurati, Marco Murciano	Automated abstraction by incremental refinement in interpolant-based model checking.	ICCAD	2008	DBLP DOI BibTeX RDF
42	Andrey Rybalchenko, Viorica Sofronie-Stokkermans	Constraint Solving for Interpolation.	VMCAI	2007	DBLP DOI BibTeX RDF
42	Viorica Sofronie-Stokkermans	Interpolation in Local Theory Extensions.	IJCAR	2006	DBLP DOI BibTeX RDF
42	Thomas Sprague	Recent Advances in Shape Preserving Piecewise Cubic Interpolation.	Great Lakes Computer Science Conference	1989	DBLP DOI BibTeX RDF
37	Yeon Ju Lee, Gang Joon Yoon, Jungho Yoon	Convergence of Increasingly Flat Radial Basis Interpolants to Polynomial Interpolants.	SIAM J. Math. Anal.	2007	DBLP DOI BibTeX RDF
33	Hiroshi Unno 0001, Naoki Kobayashi 0001	Dependent type inference with interpolants.	PPDP	2009	DBLP DOI BibTeX RDF	type inference, dependent types
33	Christopher Lynch, Yuefeng Tang	Interpolants for Linear Arithmetic in SMT.	ATVA	2008	DBLP DOI BibTeX RDF
33	Charalampos Tsitouras	Runge-Kutta interpolants for high precision computations.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Dense output, Quadruple precision, Initial value problem
33	George Roussos, Bradley John Charles Baxter	Biharmonic Many Body Calculations for Fast Evaluation of Radial Basis Function Interpolants in Cluster Environments.	PVM/MPI	2001	DBLP DOI BibTeX RDF
33	Bernhard Beckermann, George Labahn	Effective Computation of Rational Approximants and Interpolants.	Reliab. Comput.	2000	DBLP DOI BibTeX RDF
28	Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani	Interpolant Generation for UTVPI.	CADE	2009	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	Alessandro Cimatti, Alberto Griggio, Roberto Sebastiani	Efficient Interpolant Generation in Satisfiability Modulo Theories.	TACAS	2008	DBLP DOI BibTeX RDF
28	Kenneth L. McMillan	Quantified Invariant Generation Using an Interpolating Saturation Prover.	TACAS	2008	DBLP DOI BibTeX RDF
28	Xuli Han, Muzhou Hou	Quasi-interpolation for Data Fitting by the Radial Basis Functions.	GMP	2008	DBLP DOI BibTeX RDF	approximation, interpolation, radial basis function
28	Wayne H. Enright, Wayne B. Hayes	Robust and reliable defect control for Runge-Kutta methods.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	interpolation, ordinary differential equations, Runge-Kutta methods, Initial value problems
28	Manjula A. Iyer, Layne T. Watson, Michael W. Berry	SHEPPACK: a Fortran 95 package for interpolation using the modified Shepard algorithm.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
28	Deepak Kapur, Rupak Majumdar, Calogero G. Zarba	Interpolation for data structures.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	CEGAR, data structure verification, interpolation
28	Javier Esparza, Stefan Kiefer, Stefan Schwoon	Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.	TACAS	2006	DBLP DOI BibTeX RDF
28	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
28	Kenneth L. McMillan	Applications of Craig Interpolation to Model Checking.	ICATPN	2005	DBLP DOI BibTeX RDF
28	João Marques-Silva 0001	Improvements to the Implementation of Interpolant-Based Model Checking.	CHARME	2005	DBLP DOI BibTeX RDF
28	Kenneth L. McMillan	Applications of Craig Interpolation to Model Checking.	CSL	2004	DBLP DOI BibTeX RDF
28	Weixiang Zhang, Zongmin Wu	Shape-Preserving MQ-B-Splines Quasi-Interpolation.	GMP	2004	DBLP DOI BibTeX RDF
28	Lyle Noakes	Interpolating Camera Configurations.	CAIP	2003	DBLP DOI BibTeX RDF	cubic interpolation, motion analysis, rotations, trajectory planning
28	Bryan S. Morse, Terry S. Yoo, David T. Chen, Penny Rheingans, Kalpathi R. Subramanian	Interpolating Implicit Surfaces from Scattered Surface Data Using Compactly Supported Radial Basis Functions.	Shape Modeling International	2001	DBLP DOI BibTeX RDF
28	Edmond Boyer, Sylvain Petitjean	Curve and Surface Reconstruction from Regular and Non-Regular Point Sets.	CVPR	2000	DBLP DOI BibTeX RDF
28	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
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	Gudrun Albrecht, Rida T. Farouki	Construction ofC2 Pythagorean-hodograph interpolating splines by the homotopy method.	Adv. Comput. Math.	1996	DBLP DOI BibTeX RDF
28	H. P. Dikshit, Anupam Ojha, R. A. Zalik	Wachspress type rational complex planar splines of degree (3, 1).	Adv. Comput. Math.	1994	DBLP DOI BibTeX RDF
27	Bin Han 0003, Qun Mo	Multiwavelet Frames from Refinable Function Vectors.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	dual wavelet frames, wavelet frames, refinable function vectors, refinable Hermite interpolants, sum rules, symmetry, multiwavelets, vanishing moments
19	Luisa Fermo, Lothar Reichel, Giuseppe Rodriguez, Miodrag M. Spalevic	Averaged Nyström interpolants for the solution of Fredholm integral equations of the second kind.	Appl. Math. Comput.	2024	DBLP DOI BibTeX RDF
19	Joel D. Simard, Alessandro Astolfi	On the construction and parameterization of interpolants in the Loewner framework.	Autom.	2024	DBLP DOI BibTeX RDF
19	Antonio Baeza, Dionisio F. Yáñez	A note on some bounds between cubic spline interpolants depending on the boundary conditions: Application to a monotonicity property.	CoRR	2024	DBLP DOI BibTeX RDF
19	Yifan Chen, Mark Goldstein, Mengjian Hua, Michael S. Albergo, Nicholas M. Boffi, Eric Vanden-Eijnden	Probabilistic Forecasting with Stochastic Interpolants and Föllmer Processes.	CoRR	2024	DBLP DOI BibTeX RDF
19	Marjeta Knez, Francesca Pelosi, Maria Lucia Sampoli	Construction of G2 spatial interpolants with prescribed arc lengths.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
19	Tina Bosner	High order approximation by CCC-spline quasi-interpolants.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
19	Woula Themistoclakis, Marc Van Barel	A generalization of Floater-Hormann interpolants.	J. Comput. Appl. Math.	2024	DBLP DOI BibTeX RDF
19	Joel D. Simard, Alessio Moreschini	Enforcing Stability of Linear Interpolants in the Loewner Framework.	IEEE Control. Syst. Lett.	2023	DBLP DOI BibTeX RDF
19	Joshua Horacsek, Usman R. Alim	FastSpline: Automatic Generation of Interpolants for Lattice Samplings.	ACM Trans. Math. Softw.	2023	DBLP DOI BibTeX RDF
19	Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter	Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
19	Domingo Barrera, Salah Eddargani, María J. Ibáñez, Sara Remogna	Low-degree spline quasi-interpolants in the Bernstein basis.	Appl. Math. Comput.	2023	DBLP DOI BibTeX RDF
19	Francesc Aràndiga, Sara Remogna	Nonlinear 2D C1 Quadratic Spline Quasi-Interpolants on Triangulations for the Approximation of Piecewise Smooth Functions.	Axioms	2023	DBLP DOI BibTeX RDF
19	Michael S. Albergo, Nicholas M. Boffi, Michael Lindsey, Eric Vanden-Eijnden	Multimarginal generative modeling with stochastic interpolants.	CoRR	2023	DBLP DOI BibTeX RDF
19	Luisa Fermo, Lothar Reichel, Giuseppe Rodriguez, Miodrag M. Spalevic	Averaged Nyström interpolants for the solution of Fredholm integral equations of the second kind.	CoRR	2023	DBLP DOI BibTeX RDF
19	Michael S. Albergo, Mark Goldstein, Nicholas M. Boffi, Rajesh Ranganath, Eric Vanden-Eijnden	Stochastic interpolants with data-dependent couplings.	CoRR	2023	DBLP DOI BibTeX RDF
19	Agi Kurucz, Frank Wolter, Michael Zakharyaschev	Definitions and (Uniform) Interpolants in First-Order Modal Logic.	CoRR	2023	DBLP DOI BibTeX RDF
19	Siddarth Asokan, Chandra Sekhar Seelamantula	Data Interpolants - That's What Discriminators in Higher-order Gradient-regularized GANs Are.	CoRR	2023	DBLP DOI BibTeX RDF
19	Woula Themistoclakis, Marc Van Barel	A generalization of Floater-Hormann interpolants.	CoRR	2023	DBLP DOI BibTeX RDF
19	Antoine Chan-Lock, Jesús Pérez, Miguel A. Otaduy	High-Order Elasticity Interpolants for Microstructure Simulation.	CoRR	2023	DBLP DOI BibTeX RDF
19	Michael S. Albergo, Nicholas M. Boffi, Eric Vanden-Eijnden	Stochastic Interpolants: A Unifying Framework for Flows and Diffusions.	CoRR	2023	DBLP DOI BibTeX RDF
19	Joel D. Simard, Alessio Moreschini, Alessandro Astolfi	Parameterization of All Moment Matching Interpolants.	ECC	2023	DBLP BibTeX RDF
19	Agi Kurucz, Frank Wolter, Michael Zakharyaschev	Definitions and (Uniform) Interpolants in First-Order Modal Logic.	KR	2023	DBLP DOI BibTeX RDF
19	Michael S. Albergo, Eric Vanden-Eijnden	Building Normalizing Flows with Stochastic Interpolants.	ICLR	2023	DBLP BibTeX RDF
19	Marjeta Knez, Francesca Pelosi, Maria Lucia Sampoli	Construction of G2 planar Hermite interpolants with prescribed arc lengths.	Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
19	Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina	Using linear algebra in decomposition of Farkas interpolants.	Int. J. Softw. Tools Technol. Transf.	2022	DBLP DOI BibTeX RDF
19	Daniel Cornel, Zsolt Horváth, Jürgen Waser	An Attempt of Adaptive Heightfield Rendering with Complex Interpolants Using Ray Casting.	CoRR	2022	DBLP BibTeX RDF
19	Michael S. Albergo, Eric Vanden-Eijnden	Building Normalizing Flows with Stochastic Interpolants.	CoRR	2022	DBLP DOI BibTeX RDF
19	Marjeta Knez, Francesca Pelosi, Maria Lucia Sampoli	Construction of G2 planar Hermite interpolants with prescribed arc lengths.	CoRR	2022	DBLP BibTeX RDF
19	Marie Fortin, Boris Konev, Frank Wolter	Interpolants and Explicit Definitions in Extensions of the Description Logic EL.	CoRR	2022	DBLP BibTeX RDF
19	Phung Van Manh, Nguyen Van Trao, Phan Thanh Tung, Le Ngoc Cuong	Taylor type and Hermite type interpolants in $\mathbb {R}^{n}$.	Numer. Algorithms	2022	DBLP DOI BibTeX RDF
19	Silvio Ghilardi, Alessandro Gianola, Deepak Kapur	Uniform Interpolants in EUF: Algorithms using DAG-representations.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
19	Ihsan Lateef Saeed, Mohammad Javidi, Mahdi Saedshoar Heris	On numerical methods for solving Riesz space fractional advection-dispersion equations based on spline interpolants.	Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
19	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	Combination of Uniform Interpolants via Beth Definability.	J. Autom. Reason.	2022	DBLP DOI BibTeX RDF
19	Abdelleh Lamnii, Mohamed-Yassir Nour, Driss Sbibih, Ahmed Zidna	Generalized spline quasi-interpolants and applications to numerical analysis.	J. Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
19	Antoine Chan-Lock, Jesús Pérez, Miguel A. Otaduy	High-Order Elasticity Interpolants for Microstructure Simulation.	Comput. Graph. Forum	2022	DBLP DOI BibTeX RDF
19	Joel D. Simard, Alessandro Astolfi	Regularization of Underconstrained Interpolants in the Loewner Framework.	ECC	2022	DBLP DOI BibTeX RDF
19	Marie Fortin, Boris Konev, Frank Wolter	Interpolants and Explicit Definitions in Extensions of the Description Logic EL.	KR	2022	DBLP BibTeX RDF
19	Jean Christoph Jung, Andrea Mazzullo, Frank Wolter	More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.	Description Logics	2022	DBLP BibTeX RDF
19	Zahra Esmaeelzadeh, Ali Abdi, Gholamreza Hojjati	EBDF-type methods based on the linear barycentric rational interpolants for stiff IVPs.	J. Appl. Math. Comput.	2021	DBLP DOI BibTeX RDF
19	Song-Hwa Kwon, Chang Yong Han	Spatial quintic Pythagorean-hodograph interpolants to first-order Hermite data and Frenet frames.	Comput. Aided Geom. Des.	2021	DBLP DOI BibTeX RDF
19	Michael S. Jolly, Ali Pakzad	Data Assimilation with Higher Order Finite Element Interpolants.	CoRR	2021	DBLP BibTeX RDF
19	Joshua Horacsek, Usman R. Alim	Automatic Generation of Interpolants for Lattice Samplings: Part I - Theory and Analysis.	CoRR	2021	DBLP BibTeX RDF
19	Joshua Horacsek, Usman R. Alim	Automatic Generation of Interpolants for Lattice Samplings: Part II - Implementation and Code Generation.	CoRR	2021	DBLP BibTeX RDF
19	Ali Abdi, Gholamreza Hojjati	Second derivative backward differentiation formulae for ODEs based on barycentric rational interpolants.	Numer. Algorithms	2021	DBLP DOI BibTeX RDF
19	Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin	Model Completeness, Uniform Interpolants and Superposition Calculus.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
19	Ke Jing, Ning Kang 0005	Convergence rates of a family of barycentric rational Hermite interpolants and their derivatives.	J. Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
19	Jean Christoph Jung, Frank Wolter	Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments.	LICS	2021	DBLP DOI BibTeX RDF