Stem interpol$ (all stems)

166 papers:

ESOP-2015-AlbarghouthiBCK

Spatial Interpolants (AA, JB, BC, ZK), pp. 634–660.

TACAS-2015-HeizmannDLMP #array #contest

Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.

ICALP-v1-2015-BeyersdorffCMS #calculus

Feasible Interpolation for QBF Resolution Calculi (OB, LC, MM, AS), pp. 180–192.

ICALP-v1-2015-Curticapean #complexity #framework

Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity (RC), pp. 380–392.

HIMI-IKD-2015-Hsiao #sketching

Affective Responses of Interpolated Sketches (KAH), pp. 55–66.

ICML-2015-WilsonN #kernel #process #scalability

Kernel Interpolation for Scalable Structured Gaussian Processes (KISS-GP) (AGW, HN), pp. 1775–1784.

SAC-2015-AlbertiM #array

Polyhedra to the rescue of array interpolants (FA, DM), pp. 1745–1750.

CAV-2015-ChenHWZ #generative #invariant #polynomial

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.

CAV-2015-GleissenthallKR #verification

Symbolic Polytopes for Quantitative Interpolation and Verification (KvG, BK, AR), pp. 178–194.

CAV-2015-VizelGM #performance

Fast Interpolating BMC (YV, AG, SM), pp. 641–657.

LICS-2015-BenediktCB #decidability #fixpoint #logic

Interpolation with Decidable Fixpoint Logics (MB, BtC, MVB), pp. 378–389.

VMCAI-2015-Cousot #induction

Abstracting Induction by Extrapolation and Interpolation (PC), pp. 19–42.

DATE-2014-SchollPDA #linear

Simple interpolants for linear arithmetic (CS, FP, SD, EA), pp. 1–6.

ICALP-v1-2014-Tzameret #algorithm #problem #random #satisfiability

Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem — (Extended Abstract) (IT), pp. 1015–1026.

ICPR-2014-GousenbourgerSA #2d

Piecewise-Bézier C1 Interpolation on Riemannian Manifolds with Application to 2D Shape Morphing (PYG, CS, PAA), pp. 4086–4091.

ICPR-2014-ZhangZZL #image

Surface Interpolation to Image with Edge Preserving (LZ, CZ, YZ, XL), pp. 1055–1060.

KDD-2014-WangX #metric #novel

Novel geospatial interpolation analytics for general meteorological measurements (BW, JX), pp. 1553–1562.

KR-2014-LudwigK #difference #logic

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).

SAC-2014-MoonKSP #image #novel #scalability

A novel double linear-cubic convolution interpolation for digital image scaling (HMM, KRK, JS, SBP), pp. 1733–1734.

ICSE-2014-DegiovanniAAU #automation #satisfiability

Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.

ICSE-2014-TonellaTN #modelling #n-gram #testing

Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.

CAV-2014-VizelG #reachability

Interpolating Property Directed Reachability (YV, AG), pp. 260–276.

IJCAR-2014-KoopmannS

Count and Forget: Uniform Interpolation of 𝒮ℋ𝒬-Ontologies (PK, RAS), pp. 434–448.

LICS-CSL-2014-BenediktCB #effectiveness #logic

Effective interpolation and preservation in guarded logics (MB, BtC, MVB), p. 10.

DAC-2013-WuWLH #algorithm #generative #model checking #satisfiability

A counterexample-guided interpolant generation algorithm for SAT-based model checking (CYW, CAW, CYL, CY(H), p. 6.

DATE-2013-CabodiLV #bound #model checking #optimisation

Optimization techniques for craig interpolant compaction in unbounded model checking (GC, CL, DV), pp. 1417–1422.

DATE-2013-PigorschS #locality

Lemma localization: a practical method for downsizing SMT-interpolants (FP, CS), pp. 1405–1410.

FASE-2013-BeyerL #model checking

Explicit-State Software Model Checking Based on CEGAR and Interpolation (DB, SL), pp. 146–162.

TACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification

UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.

TACAS-2013-ChristHN #proving

Proof Tree Preserving Interpolation (JC, JH, AN), pp. 124–138.

TACAS-2013-GangeNSSS #bound #constraints #model checking #regular expression

Unbounded Model-Checking with Interpolation for Regular Language Constraints (GG, JAN, PJS, HS, PS), pp. 277–291.

TACAS-2013-HeizmannCDEHLNSP #contest

Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.

TACAS-2013-Lowe #analysis #contest

CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation — (Competition Contribution) (SL), pp. 610–612.

TACAS-2013-VizelGS #analysis #reachability #using

Intertwined Forward-Backward Reachability Analysis Using Interpolants (YV, OG, SS), pp. 308–323.

SAS-2013-BrainDGHK #float #source code #verification

Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (MB, VD, AG, LH, DK), pp. 412–432.

POPL-2013-TotlaW

Complete instantiation-based interpolation (NT, TW), pp. 537–548.

SAC-2013-FazioR #comparison #network

Spatial interpolation: an analytical comparison between kriging and RBF networks (VSF, MR), pp. 2–7.

SAC-2013-RezguiMY

High-resolution spatial interpolation on cloud platforms (AR, ZM, CY), pp. 377–382.

ESEC-FSE-2013-JaffarMN #testing

Boosting concolic testing via interpolation (JJ, VM, JAN), pp. 48–58.

CAV-2013-AlbarghouthiM

Beautiful Interpolants (AA, KLM), pp. 313–329.

CAV-2013-DaiXZ #generative #programming

Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.

CAV-2013-RummerHK #verification

Disjunctive Interpolants for Horn-Clause Verification (PR, HH, VK), pp. 347–363.

CAV-2013-VizelRN #generative #performance

Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.

ICLP-J-2013-GangeNSSS #constraints #logic programming

Failure tabled constraint logic programming by interpolation (GG, JAN, PS, HS, PJS), pp. 593–607.

LICS-2013-Pattinson #logic

The Logic of Exact Covers: Completeness and Uniform Interpolation (DP), pp. 418–427.

SAT-2013-Gableske #heuristic #message passing #on the #satisfiability

On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.

DATE-2012-TangHCH #generative #logic #multi #reduction

Multi-patch generation for multi-error logic rectification by interpolation with cofactor reduction (KFT, PKH, CNC, CYH), pp. 1567–1572.

TACAS-2012-WeissenbacherKM #contest #debugging #named

Wolverine: Battling Bugs with Interpolants — (Competition Contribution) (GW, DK, SM), pp. 556–558.

FLOPS-2012-KrienerK

Mutual Exclusion by Interpolation (JK, AK), pp. 182–196.

ICALP-v1-2012-AchlioptasM #bound #random #satisfiability

Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method (DA, RMM), pp. 1–12.

ICPR-2012-KangLH #adaptation #image

Fusing soft-decision-adaptive and bicubic methods for image interpolation (XK, SL, JH), pp. 1043–1046.

KR-2012-LutzSW #approach #approximate #logic

An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).

SAC-2012-CentenoA #algorithm #approach #clustering #image

Clustering approach algorithm for image interpolation (TMC, MTA), pp. 56–57.

SAC-2012-GuccioneCAMM #clustering #network

Trend cluster based interpolation everywhere in a sensor network (PG, AC, AA, DM, AM), pp. 827–828.

CAV-2012-AlbarghouthiLGC #framework #named #verification

Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.

CAV-2012-AlbertiBGRS #abstraction #array #named #smt

SAFARI: SMT-Based Abstraction for Arrays with Interpolants (FA, RB, SG, SR, NS), pp. 679–685.

CAV-2012-RolliniSS #model checking

Leveraging Interpolant Strength in Model Checking (SFR, OS, NS), pp. 193–209.

CAV-2012-SharmaNA #classification

Interpolants as Classifiers (RS, AVN, AA), pp. 71–87.

IJCAR-2012-BruttomessoGR #composition #quantifier

From Strong Amalgamability to Modularity of Quantifier-Free Interpolation (RB, SG, SR), pp. 118–133.

SAT-2012-Weissenbacher #revisited

Interpolant Strength Revisited (GW), pp. 312–326.

VMCAI-2012-AlbarghouthiGC #algorithm #interprocedural #named #verification

Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (AA, AG, MC), pp. 39–55.

VMCAI-2012-ErmisHP

Splitting via Interpolants (EE, JH, AP), pp. 186–201.

DAC-2011-HochmanBW #empirical #reduction

A stabilized discrete empirical interpolation method for model reduction of electrical, thermal, and microelectromechanical systems (AH, BNB, JKW), pp. 540–545.

DAC-2011-LinH #satisfiability #using

Using SAT-based Craig interpolation to enlarge clock gating functions (THL, CY(H), pp. 621–626.

DAC-2011-TangWHH #incremental #logic #multi #synthesis

Interpolation-based incremental ECO synthesis for multi-error logic rectification (KFT, CAW, PKH, CY(H), pp. 146–151.

DATE-2011-CabodiNQ #revisited #sequence

Interpolation sequences revisited (GC, SN, SQ), pp. 316–322.

TACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.

TACAS-2011-TeigeF #probability #problem #satisfiability

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.

SAS-2011-McMillan

Widening and Interpolation (KLM), p. 1.

CIKM-2011-CartrightA #optimisation #performance

Efficiency optimizations for interpolating subqueries (MAC, JA), pp. 297–306.

CAV-2011-KroeningW #verification

Interpolation-Based Software Verification with Wolverine (DK, GW), pp. 573–578.

RTA-2011-BruttomessoGR #array #formal method #quantifier

Rewriting-based Quantifier-free Interpolation for a Theory of Arrays (RB, SG, SR), pp. 171–186.

VMCAI-2011-BrilloutKRW #quantifier

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (AB, DK, PR, TW), pp. 88–102.

DAC-2010-ChocklerKP #model checking

Coverage in interpolation-based model checking (HC, DK, MP), pp. 182–187.

DAC-2010-WangLPW #modelling #multi #named

MFTI: matrix-format tangential interpolation for modeling multi-port systems (YW, CUL, GKHP, NW), pp. 683–686.

ESOP-2010-DSilva #abstract interpretation

Propositional Interpolation and Abstract Interpretation (VD), pp. 185–204.

STOC-2010-BayatiGT #approach #combinator #graph #random #scalability

Combinatorial approach to the interpolation method and scaling limits in sparse random graphs (MB, DG, PT), pp. 105–114.

ICPR-2010-Giachetti #image

Irradiance Preserving Image Interpolation (AG), pp. 2218–2221.

ICPR-2010-Meyer10a

Shape Interpolation with Flattenings (FM), pp. 2094–2097.

ICPR-2010-Strand

Interpolation and Sampling on a Honeycomb Lattice (RS), pp. 2222–2225.

POPL-2010-HeizmannHP

Nested interpolants (MH, JH, AP), pp. 471–482.

HPDC-2010-BaeCQF #reduction #scalability #visualisation

Dimension reduction and visualization of large high-dimensional data via interpolation (SHB, JYC, JQ, GF), pp. 203–214.

CAV-2010-Caniart #model checking #named

Merit: An Interpolating Model-Checker (NC), pp. 162–166.

IJCAR-2010-BrilloutKRW #calculus #quantifier

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic (AB, DK, PR, TW), pp. 384–399.

IJCAR-2010-HoderKV

Interpolation and Symbol Elimination in Vampire (KH, LK, AV), pp. 188–195.

SAT-2010-MillerKLB #bound #design #encoding #model checking

Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs (CM, SK, MDTL, BB), pp. 194–208.

VMCAI-2010-DSilvaKPW

Interpolant Strength (VD, DK, MP, GW), pp. 129–145.

DRR-2009-ZhangLDW #documentation #image #segmentation

Restoring warped document image through segmentation and full-page interpolation (YZ, CL, XD, KW), pp. 1–10.

TACAS-2009-FuchsGGKT #formal method #similarity

Ground Interpolation for the Theory of Equality (AF, AG, JG, SK, CT), pp. 413–427.

PEPM-2009-MossP

Program interpolation (AM, DP), pp. 31–40.

PPDP-2009-UnnoK #dependent type #type inference

Dependent type inference with interpolants (HU, NK), pp. 277–288.

CADE-2009-CimattiGS #generative

Interpolant Generation for UTVPI (AC, AG, RS), pp. 167–182.

CADE-2009-GoelKT

Ground Interpolation for Combined Theories (AG, SK, CT), pp. 183–198.

CADE-2009-KovacsV

Interpolation and Symbol Elimination (LK, AV), pp. 199–213.

CSL-2009-GheerbrantC #linear

Craig Interpolation for Linear Temporal Languages (AG, BtC), pp. 287–301.

DAC-2008-LeeJH #satisfiability #scalability

Bi-decomposing large Boolean functions via interpolation and satisfiability solving (RRL, JHRJ, WLH), pp. 636–641.

TACAS-2008-CaniartFLZ #model checking

Accelerating Interpolation-Based Model-Checking (NC, EF, JL, MZ), pp. 428–442.

TACAS-2008-CimattiGS #generative #modulo theories #performance #satisfiability

Efficient Interpolant Generation in Satisfiability Modulo Theories (AC, AG, RS), pp. 397–412.

TACAS-2008-McMillan #generative #invariant #proving #quantifier #using

Quantified Invariant Generation Using an Interpolating Saturation Prover (KLM), pp. 413–427.

ICPR-2008-ShinK #algorithm #using

Enhanced Resolution-aware Fitting algorithm using interpolation operator (JS, DK), pp. 1–4.

ICPR-2008-TakahashiLIMM #recognition

Eigenspace interpolation for appearance-based object recognition (TT, L, II, YM, HM), pp. 1–4.

CAV-2008-BeyerZM #named

CSIsat: Interpolation for LA+EUF (DB, DZ, RM), pp. 304–308.

CAV-2008-JainCG #composition #equation #linear #performance

Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.

VMCAI-2008-DSilvaPK #approximate #model checking #refinement

Approximation Refinement for Interpolation-Based Model Checking (VD, MP, DK), pp. 68–82.

CASE-2007-LuXL #development #implementation

Development and implementation of NURBS interpolator with look-ahead technique (YL, JX, ZL), pp. 134–139.

ICDAR-2007-Martinez-DiazFFO #on the #verification

On The Effects of Sampling Rate and Interpolation in HMM-Based Dynamic Signature Verification (MMD, JFA, MRF, JOG), pp. 1113–1117.

ICDAR-2007-SchneiderBR #documentation #robust

Robust Document Warping with Interpolated Vector Fields (DS, MB, RR), pp. 113–117.

TACAS-2007-JhalaMX #type inference

State of the Union: Type Inference Via Craig Interpolation (RJ, RM, RGX), pp. 553–567.

STOC-2007-Shpilka #multi

Interpolation of depth-3 arithmetic circuits with two multiplication gates (AS), pp. 284–293.

VMCAI-2007-McMillan #model checking

Interpolants and Symbolic Model Checking (KLM), pp. 89–90.

VMCAI-2007-RybalchenkoS #constraints #theorem proving

Constraint Solving for Interpolation (AR, VSS), pp. 346–362.

FoSSaCS-2006-PopescuSR #approach #semantics

A Semantic Approach to Interpolation (AP, TS, GR), pp. 307–321.

TACAS-2006-EsparzaKS #abstraction #automaton #refinement

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.

TACAS-2006-LiS #abstraction #bound #model checking #performance #refinement

Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking (BL, FS), pp. 227–241.

ICALP-v1-2006-KaporisMSTTZ #revisited

Dynamic Interpolation Search Revisited (ACK, CM, SS, AKT, KT, CDZ), pp. 382–394.

ICALP-v2-2006-TassaD #multi

Multipartite Secret Sharing by Bivariate Interpolation (TT, ND), pp. 288–299.

ICPR-v1-2006-StelldingerL #3d

3D Object Digitization: Majority Interpolation and Marching Cube (PS, LJL), pp. 71–74.

ICPR-v1-2006-ZhangT #documentation #image #using

RestoringWarped Document Images using Shape-from-Shading and Surface Interpolation (LZ, CLT), pp. 642–645.

ICPR-v2-2006-StelldingerL06a #3d

3D Object Digitization: Majority Interpolation and Marching Cubes (PS, LJL), pp. 1173–1176.

ICPR-v3-2006-DoshiB

Structural flow smoothing for shape interpolation (AD, AGB), pp. 11–14.

ICPR-v3-2006-KostlerPRH #adaptation

Adaptive variational sinogram interpolation of sparsely sampled CT data (HK, MP, UR, JH), pp. 778–781.

ICPR-v4-2006-LaurendeauB #distance #using

Shape-Based Contour Interpolation and Extrapolation Using Distance Mapping (DL, OB), pp. 659–662.

FSE-2006-KapurMZ #data type

Interpolation for data structures (DK, RM, CGZ), pp. 105–116.

CAV-2006-McMillan #abstraction #lazy evaluation

Lazy Abstraction with Interpolants (KLM), pp. 123–136.

IJCAR-2006-Sofronie-Stokkermans

Interpolation in Local Theory Extensions (VSS), pp. 235–250.

TACAS-2005-McMillan #model checking

Applications of Craig Interpolants in Model Checking (KLM), pp. 1–12.

CADE-2005-YorshM #generative

A Combination Method for Generating Interpolants (GY, MM), pp. 353–368.

CAV-2005-JhalaM #approximate

Interpolant-Based Transition Relation Approximation (RJ, KLM), pp. 39–51.

ITiCSE-2004-FisherLS #approximate

Curve and surface interpolation and approximation: knowledge unit and software tool (JF, JLL, CKS), pp. 146–150.

TACAS-2004-McMillan #proving #theorem proving

An Interpolating Theorem Prover (KLM), pp. 16–30.

ICML-2004-SzepesvariS

Interpolation-based Q-learning (CS, WDS).

ICPR-v4-2004-Amano #image

Image Interpolation by High Dimensional Projection based on Subspace Method (TA), pp. 665–668.

ICPR-v4-2004-NumadaNKKT #image #polynomial #using

Sharpening of CT Images by Cubic Interpolation using B-Spline (MN, TN, KK, HK, HT), pp. 701–704.

CSL-2004-McMillan #model checking

Applications of Craig Interpolation to Model Checking (KLM), pp. 22–23.

VLDB-2003-WangSG

An Interpolated Volume Data Model (TW, SS, AG), pp. 1121–1124.

SAS-2003-McMillan #analysis #reachability

Craig Interpolation and Reachability Analysis (KLM), p. 336.

CAV-2003-McMillan #model checking #satisfiability

Interpolation and SAT-Based Model Checking (KLM), pp. 1–13.

DAC-2002-VandenbusscheULSG #design

Systematic design of a 200 MS/s 8-bit interpolating/averaging A/D converter (JV, KU, EL, MS, GGEG), pp. 449–454.

DATE-2002-CoelhoSP #algorithm #approximate #using

Passive Constrained Rational Approximation Algorithm Using Nevanlinna-Pick Interpolation (CPC, LMS, JRP), pp. 923–930.

DATE-2002-VandenbusscheLUSG #design

Systematic Design of a 200 Ms/S 8-bit Interpolating A/D Converter (JV, EL, KU, MS, GGEG), pp. 357–361.

ICPR-v3-2002-MullerH #linear

Extending the Linear Interpolating Condition to Advanced Synthetic Discriminant Function Variants (NM, BMH), pp. 883–886.

CIKM-2001-HuangPC #mobile #on-demand

Binary Interpolation Search for Solution Mapping on Broadcast and On-demand Channels in a Mobile Computing Environment (JLH, WCP, MSC), pp. 434–441.

VLDB-2000-GrumbachRS

Manipulating Interpolated Data is Easier than You Thought (SG, PR, LS), pp. 156–165.

STOC-2000-OlshevskyS #confluence #matrix

Matrix-vector product for confluent Cauchy-like matrices with application to confluent rational interpolation (VO, MAS), pp. 573–581.

CIKM-2000-LohKW #approach #database #normalisation #sequence

Index Interpolation: An Approach to Subsequence Matching Supporting Normalization Transform in Time-Series Databases (WKL, SWK, KYW), pp. 480–487.

ICPR-v2-2000-OliveiraVC #image #normalisation

Interpolation/Decimation Scheme Applied to Size Normalization of Characters Images (JJdOJ, LRV, JMdC), pp. 2577–2580.

ICPR-v3-2000-RajanC #image

A Perceptually Organized Method for Image Interpolation (DR, SC), pp. 3742–3745.

ICALP-1999-OlshevskyP #evaluation #matrix #polynomial

Polynomial and Rational Evaluation and Interpolation (with Structured Matrices) (VO, VYP), pp. 585–594.

ASE-1997-DimitrakosM #refinement

Notes on Refinement, Interpolation and Uniformity (TD, TSEM), pp. 108–116.

DAC-1997-WillemsBKGM #approach #design #fixpoint

System Level Fixed-Point Design Based on an Interpolative Approach (MW, VB, HK, TG, HM), pp. 293–298.

ICDAR-1997-NaoiY #automation #information management

Global Interpolation Method II for Handwritten Numbers Overlapping a Border by Automatic Knowledge Acquisition of Overlapped Condition (SN, MY), pp. 540–543.

ICPR-1996-HoC #multi #problem #representation

Wavelet representation for multigrid computation in surface interpolation problem (WJH, WTC), pp. 740–744.

ICPR-1996-LiaoA #using

Curve and surface interpolation using rational radial basis functions (WHL, JKA), pp. 8–13.

ICPR-1996-ShihLC #image

Contour model guided image warping for image interpolation (WSVS, WCL, CTC), pp. 396–400.

ICDAR-v1-1995-MoriAM #documentation #n-gram #recognition

Japanese document recognition based on interpolated n-gram model of character (HM, HA, SM), pp. 274–277.

TLCA-1995-Padovani #equation #equivalence #on the

On Equivalence Classes of Interpolation Equations (VP), pp. 335–349.

ICALP-1993-AnderssonM

Dynamic Interpolation Search in o(log log n) Time (AA, CM), pp. 15–27.

SAC-1993-GrahamI #incremental #linear

Double- and Triple-Step Incremental Linear Interpolation (PG, SSI), pp. 368–372.

ICALP-1992-Mansour #approximate #random

Randomized Interpolation and Approximation of Sparse Polynomials (YM), pp. 261–272.

SIGMOD-1991-Neugebauer #database #embedded #evaluation #optimisation #query

Optimization and Evaluation of Database Queries Including Embedded Interpolation Procedures (LN), pp. 118–127.

STOC-1990-BorodinT #decidability #on the #polynomial

On the Decidability of Sparse Univariate Polynomial Interpolation (Preliminary Version) (AB, PT), pp. 535–545.

STOC-1988-Ben-OrT #algorithm #multi

A Deterministic Algorithm for Sparse Multivariate Polynominal Interpolation (Extended Abstract) (MBO, PT), pp. 301–309.

CSL-1988-Karpinski #algebra #complexity #problem

Boolean Complexity of Algebraic Interpolation Problems (MK), pp. 138–147.

PODS-1985-Ouksel #grid

The Interpolation-Based Grid File (AMO), pp. 20–27.

ICALP-1985-MehlhornT

Dynamic Interpolation Search (KM, AKT), pp. 424–434.

PODS-1983-Burkhard #maintenance

Interpolation-Based Index Maintenance (WAB), pp. 76–89.