BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (31)
model (21)
check (14)
imag (13)
abstract (11)

Stem interpol$ (all stems)

166 papers:

ESOPESOP-2015-AlbarghouthiBCK
Spatial Interpolants (AA, JB, BC, ZK), pp. 634–660.
TACASTACAS-2015-HeizmannDLMP #array #contest
Ultimate Automizer with Array Interpolation — (Competition Contribution) (MH, DD, JL, BM, AP), pp. 455–457.
ICALPICALP-v1-2015-BeyersdorffCMS #calculus
Feasible Interpolation for QBF Resolution Calculi (OB, LC, MM, AS), pp. 180–192.
ICALPICALP-v1-2015-Curticapean #complexity #framework
Block Interpolation: A Framework for Tight Exponential-Time Counting Complexity (RC), pp. 380–392.
HCIHIMI-IKD-2015-Hsiao #sketching
Affective Responses of Interpolated Sketches (KAH), pp. 55–66.
ICMLICML-2015-WilsonN #kernel #process #scalability
Kernel Interpolation for Scalable Structured Gaussian Processes (KISS-GP) (AGW, HN), pp. 1775–1784.
SACSAC-2015-AlbertiM #array
Polyhedra to the rescue of array interpolants (FA, DM), pp. 1745–1750.
CAVCAV-2015-ChenHWZ #generative #invariant #polynomial
Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation (YFC, CDH, BYW, LZ), pp. 658–674.
CAVCAV-2015-GleissenthallKR #verification
Symbolic Polytopes for Quantitative Interpolation and Verification (KvG, BK, AR), pp. 178–194.
CAVCAV-2015-VizelGM #performance
Fast Interpolating BMC (YV, AG, SM), pp. 641–657.
LICSLICS-2015-BenediktCB #decidability #fixpoint #logic
Interpolation with Decidable Fixpoint Logics (MB, BtC, MVB), pp. 378–389.
VMCAIVMCAI-2015-Cousot #induction
Abstracting Induction by Extrapolation and Interpolation (PC), pp. 19–42.
DATEDATE-2014-SchollPDA #linear
Simple interpolants for linear arithmetic (CS, FP, SD, EA), pp. 1–6.
ICALPICALP-v1-2014-Tzameret #algorithm #problem #random #satisfiability
Sparser Random 3-SAT Refutation Algorithms and the Interpolation Problem — (Extended Abstract) (IT), pp. 1015–1026.
ICPRICPR-2014-GousenbourgerSA #2d
Piecewise-Bézier C1 Interpolation on Riemannian Manifolds with Application to 2D Shape Morphing (PYG, CS, PAA), pp. 4086–4091.
ICPRICPR-2014-ZhangZZL #image
Surface Interpolation to Image with Edge Preserving (LZ, CZ, YZ, XL), pp. 1055–1060.
KDDKDD-2014-WangX #metric #novel
Novel geospatial interpolation analytics for general meteorological measurements (BW, JX), pp. 1553–1562.
KRKR-2014-LudwigK #difference #logic
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
SACSAC-2014-MoonKSP #image #novel #scalability
A novel double linear-cubic convolution interpolation for digital image scaling (HMM, KRK, JS, SBP), pp. 1733–1734.
ICSEICSE-2014-DegiovanniAAU #automation #satisfiability
Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.
ICSEICSE-2014-TonellaTN #modelling #n-gram #testing
Interpolated n-grams for model based testing (PT, RT, DCN), pp. 562–572.
CAVCAV-2014-VizelG #reachability
Interpolating Property Directed Reachability (YV, AG), pp. 260–276.
IJCARIJCAR-2014-KoopmannS
Count and Forget: Uniform Interpolation of 𝒮ℋ𝒬-Ontologies (PK, RAS), pp. 434–448.
LICSLICS-CSL-2014-BenediktCB #effectiveness #logic
Effective interpolation and preservation in guarded logics (MB, BtC, MVB), p. 10.
DACDAC-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.
DATEDATE-2013-CabodiLV #bound #model checking #optimisation
Optimization techniques for craig interpolant compaction in unbounded model checking (GC, CL, DV), pp. 1417–1422.
DATEDATE-2013-PigorschS #locality
Lemma localization: a practical method for downsizing SMT-interpolants (FP, CS), pp. 1405–1410.
FASEFASE-2013-BeyerL #model checking
Explicit-State Software Model Checking Based on CEGAR and Interpolation (DB, SL), pp. 146–162.
TACASTACAS-2013-AlbarghouthiGLCC #abstract interpretation #contest #named #verification
UFO: Verification with Interpolants and Abstract Interpretation — (Competition Contribution) (AA, AG, YL, SC, MC), pp. 637–640.
TACASTACAS-2013-ChristHN #proving
Proof Tree Preserving Interpolation (JC, JH, AN), pp. 124–138.
TACASTACAS-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.
TACASTACAS-2013-HeizmannCDEHLNSP #contest
Ultimate Automizer with SMTInterpol — (Competition Contribution) (MH, JC, DD, EE, JH, ML, AN, CS, AP), pp. 641–643.
TACASTACAS-2013-Lowe #analysis #contest
CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation — (Competition Contribution) (SL), pp. 610–612.
TACASTACAS-2013-VizelGS #analysis #reachability #using
Intertwined Forward-Backward Reachability Analysis Using Interpolants (YV, OG, SS), pp. 308–323.
SASSAS-2013-BrainDGHK #float #source code #verification
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL (MB, VD, AG, LH, DK), pp. 412–432.
POPLPOPL-2013-TotlaW
Complete instantiation-based interpolation (NT, TW), pp. 537–548.
SACSAC-2013-FazioR #comparison #network
Spatial interpolation: an analytical comparison between kriging and RBF networks (VSF, MR), pp. 2–7.
SACSAC-2013-RezguiMY
High-resolution spatial interpolation on cloud platforms (AR, ZM, CY), pp. 377–382.
ESEC-FSEESEC-FSE-2013-JaffarMN #testing
Boosting concolic testing via interpolation (JJ, VM, JAN), pp. 48–58.
CAVCAV-2013-AlbarghouthiM
Beautiful Interpolants (AA, KLM), pp. 313–329.
CAVCAV-2013-DaiXZ #generative #programming
Generating Non-linear Interpolants by Semidefinite Programming (LD, BX, NZ), pp. 364–380.
CAVCAV-2013-RummerHK #verification
Disjunctive Interpolants for Horn-Clause Verification (PR, HH, VK), pp. 347–363.
CAVCAV-2013-VizelRN #generative #performance
Efficient Generation of Small Interpolants in CNF (YV, VR, AN), pp. 330–346.
ICLPICLP-J-2013-GangeNSSS #constraints #logic programming
Failure tabled constraint logic programming by interpolation (GG, JAN, PS, HS, PJS), pp. 593–607.
LICSLICS-2013-Pattinson #logic
The Logic of Exact Covers: Completeness and Uniform Interpolation (DP), pp. 418–427.
ICSTSAT-2013-Gableske #heuristic #message passing #on the #satisfiability
On the Interpolation between Product-Based Message Passing Heuristics for SAT (OG), pp. 293–308.
DATEDATE-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.
TACASTACAS-2012-WeissenbacherKM #contest #debugging #named
Wolverine: Battling Bugs with Interpolants — (Competition Contribution) (GW, DK, SM), pp. 556–558.
FLOPSFLOPS-2012-KrienerK
Mutual Exclusion by Interpolation (JK, AK), pp. 182–196.
ICALPICALP-v1-2012-AchlioptasM #bound #random #satisfiability
Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method (DA, RMM), pp. 1–12.
ICPRICPR-2012-KangLH #adaptation #image
Fusing soft-decision-adaptive and bicubic methods for image interpolation (XK, SL, JH), pp. 1043–1046.
KRKR-2012-LutzSW #approach #approximate #logic
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL (CL, IS, FW).
SACSAC-2012-CentenoA #algorithm #approach #clustering #image
Clustering approach algorithm for image interpolation (TMC, MTA), pp. 56–57.
SACSAC-2012-GuccioneCAMM #clustering #network
Trend cluster based interpolation everywhere in a sensor network (PG, AC, AA, DM, AM), pp. 827–828.
CAVCAV-2012-AlbarghouthiLGC #framework #named #verification
Ufo: A Framework for Abstraction- and Interpolation-Based Software Verification (AA, YL, AG, MC), pp. 672–678.
CAVCAV-2012-AlbertiBGRS #abstraction #array #named #smt
SAFARI: SMT-Based Abstraction for Arrays with Interpolants (FA, RB, SG, SR, NS), pp. 679–685.
CAVCAV-2012-RolliniSS #model checking
Leveraging Interpolant Strength in Model Checking (SFR, OS, NS), pp. 193–209.
CAVCAV-2012-SharmaNA #classification
Interpolants as Classifiers (RS, AVN, AA), pp. 71–87.
IJCARIJCAR-2012-BruttomessoGR #composition #quantifier
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation (RB, SG, SR), pp. 118–133.
ICSTSAT-2012-Weissenbacher #revisited
Interpolant Strength Revisited (GW), pp. 312–326.
VMCAIVMCAI-2012-AlbarghouthiGC #algorithm #interprocedural #named #verification
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification (AA, AG, MC), pp. 39–55.
VMCAIVMCAI-2012-ErmisHP
Splitting via Interpolants (EE, JH, AP), pp. 186–201.
DACDAC-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.
DACDAC-2011-LinH #satisfiability #using
Using SAT-based Craig interpolation to enlarge clock gating functions (THL, CY(H), pp. 621–626.
DACDAC-2011-TangWHH #incremental #logic #multi #synthesis
Interpolation-based incremental ECO synthesis for multi-error logic rectification (KFT, CAW, PKH, CY(H), pp. 146–151.
DATEDATE-2011-CabodiNQ #revisited #sequence
Interpolation sequences revisited (GC, SN, SQ), pp. 316–322.
TACASTACAS-2011-GriggioLS #generative #integer #linear #performance #satisfiability
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic (AG, TTHL, RS), pp. 143–157.
TACASTACAS-2011-TeigeF #probability #problem #satisfiability
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.
SASSAS-2011-McMillan
Widening and Interpolation (KLM), p. 1.
CIKMCIKM-2011-CartrightA #optimisation #performance
Efficiency optimizations for interpolating subqueries (MAC, JA), pp. 297–306.
CAVCAV-2011-KroeningW #verification
Interpolation-Based Software Verification with Wolverine (DK, GW), pp. 573–578.
RTARTA-2011-BruttomessoGR #array #formal method #quantifier
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays (RB, SG, SR), pp. 171–186.
VMCAIVMCAI-2011-BrilloutKRW #quantifier
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (AB, DK, PR, TW), pp. 88–102.
DACDAC-2010-ChocklerKP #model checking
Coverage in interpolation-based model checking (HC, DK, MP), pp. 182–187.
DACDAC-2010-WangLPW #modelling #multi #named
MFTI: matrix-format tangential interpolation for modeling multi-port systems (YW, CUL, GKHP, NW), pp. 683–686.
ESOPESOP-2010-DSilva #abstract interpretation
Propositional Interpolation and Abstract Interpretation (VD), pp. 185–204.
STOCSTOC-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.
ICPRICPR-2010-Giachetti #image
Irradiance Preserving Image Interpolation (AG), pp. 2218–2221.
ICPRICPR-2010-Meyer10a
Shape Interpolation with Flattenings (FM), pp. 2094–2097.
ICPRICPR-2010-Strand
Interpolation and Sampling on a Honeycomb Lattice (RS), pp. 2222–2225.
POPLPOPL-2010-HeizmannHP
Nested interpolants (MH, JH, AP), pp. 471–482.
HPDCHPDC-2010-BaeCQF #reduction #scalability #visualisation
Dimension reduction and visualization of large high-dimensional data via interpolation (SHB, JYC, JQ, GF), pp. 203–214.
CAVCAV-2010-Caniart #model checking #named
Merit: An Interpolating Model-Checker (NC), pp. 162–166.
IJCARIJCAR-2010-BrilloutKRW #calculus #quantifier
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic (AB, DK, PR, TW), pp. 384–399.
IJCARIJCAR-2010-HoderKV
Interpolation and Symbol Elimination in Vampire (KH, LK, AV), pp. 188–195.
ICSTSAT-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.
VMCAIVMCAI-2010-DSilvaKPW
Interpolant Strength (VD, DK, MP, GW), pp. 129–145.
DRRDRR-2009-ZhangLDW #documentation #image #segmentation
Restoring warped document image through segmentation and full-page interpolation (YZ, CL, XD, KW), pp. 1–10.
TACASTACAS-2009-FuchsGGKT #formal method #similarity
Ground Interpolation for the Theory of Equality (AF, AG, JG, SK, CT), pp. 413–427.
PEPMPEPM-2009-MossP
Program interpolation (AM, DP), pp. 31–40.
PPDPPPDP-2009-UnnoK #dependent type #type inference
Dependent type inference with interpolants (HU, NK), pp. 277–288.
CADECADE-2009-CimattiGS #generative
Interpolant Generation for UTVPI (AC, AG, RS), pp. 167–182.
CADECADE-2009-GoelKT
Ground Interpolation for Combined Theories (AG, SK, CT), pp. 183–198.
CADECADE-2009-KovacsV
Interpolation and Symbol Elimination (LK, AV), pp. 199–213.
CSLCSL-2009-GheerbrantC #linear
Craig Interpolation for Linear Temporal Languages (AG, BtC), pp. 287–301.
DACDAC-2008-LeeJH #satisfiability #scalability
Bi-decomposing large Boolean functions via interpolation and satisfiability solving (RRL, JHRJ, WLH), pp. 636–641.
TACASTACAS-2008-CaniartFLZ #model checking
Accelerating Interpolation-Based Model-Checking (NC, EF, JL, MZ), pp. 428–442.
TACASTACAS-2008-CimattiGS #generative #modulo theories #performance #satisfiability
Efficient Interpolant Generation in Satisfiability Modulo Theories (AC, AG, RS), pp. 397–412.
TACASTACAS-2008-McMillan #generative #invariant #proving #quantifier #using
Quantified Invariant Generation Using an Interpolating Saturation Prover (KLM), pp. 413–427.
ICPRICPR-2008-ShinK #algorithm #using
Enhanced Resolution-aware Fitting algorithm using interpolation operator (JS, DK), pp. 1–4.
ICPRICPR-2008-TakahashiLIMM #recognition
Eigenspace interpolation for appearance-based object recognition (TT, L, II, YM, HM), pp. 1–4.
CAVCAV-2008-BeyerZM #named
CSIsat: Interpolation for LA+EUF (DB, DZ, RM), pp. 304–308.
CAVCAV-2008-JainCG #composition #equation #linear #performance
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations (HJ, EMC, OG), pp. 254–267.
VMCAIVMCAI-2008-DSilvaPK #approximate #model checking #refinement
Approximation Refinement for Interpolation-Based Model Checking (VD, MP, DK), pp. 68–82.
CASECASE-2007-LuXL #development #implementation
Development and implementation of NURBS interpolator with look-ahead technique (YL, JX, ZL), pp. 134–139.
ICDARICDAR-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.
ICDARICDAR-2007-SchneiderBR #documentation #robust
Robust Document Warping with Interpolated Vector Fields (DS, MB, RR), pp. 113–117.
TACASTACAS-2007-JhalaMX #type inference
State of the Union: Type Inference Via Craig Interpolation (RJ, RM, RGX), pp. 553–567.
STOCSTOC-2007-Shpilka #multi
Interpolation of depth-3 arithmetic circuits with two multiplication gates (AS), pp. 284–293.
VMCAIVMCAI-2007-McMillan #model checking
Interpolants and Symbolic Model Checking (KLM), pp. 89–90.
VMCAIVMCAI-2007-RybalchenkoS #constraints #theorem proving
Constraint Solving for Interpolation (AR, VSS), pp. 346–362.
FoSSaCSFoSSaCS-2006-PopescuSR #approach #semantics
A Semantic Approach to Interpolation (AP, TS, GR), pp. 307–321.
TACASTACAS-2006-EsparzaKS #abstraction #automaton #refinement
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems (JE, SK, SS), pp. 489–503.
TACASTACAS-2006-LiS #abstraction #bound #model checking #performance #refinement
Efficient Abstraction Refinement in Interpolation-Based Unbounded Model Checking (BL, FS), pp. 227–241.
ICALPICALP-v1-2006-KaporisMSTTZ #revisited
Dynamic Interpolation Search Revisited (ACK, CM, SS, AKT, KT, CDZ), pp. 382–394.
ICALPICALP-v2-2006-TassaD #multi
Multipartite Secret Sharing by Bivariate Interpolation (TT, ND), pp. 288–299.
ICPRICPR-v1-2006-StelldingerL #3d
3D Object Digitization: Majority Interpolation and Marching Cube (PS, LJL), pp. 71–74.
ICPRICPR-v1-2006-ZhangT #documentation #image #using
RestoringWarped Document Images using Shape-from-Shading and Surface Interpolation (LZ, CLT), pp. 642–645.
ICPRICPR-v2-2006-StelldingerL06a #3d
3D Object Digitization: Majority Interpolation and Marching Cubes (PS, LJL), pp. 1173–1176.
ICPRICPR-v3-2006-DoshiB
Structural flow smoothing for shape interpolation (AD, AGB), pp. 11–14.
ICPRICPR-v3-2006-KostlerPRH #adaptation
Adaptive variational sinogram interpolation of sparsely sampled CT data (HK, MP, UR, JH), pp. 778–781.
ICPRICPR-v4-2006-LaurendeauB #distance #using
Shape-Based Contour Interpolation and Extrapolation Using Distance Mapping (DL, OB), pp. 659–662.
FSEFSE-2006-KapurMZ #data type
Interpolation for data structures (DK, RM, CGZ), pp. 105–116.
CAVCAV-2006-McMillan #abstraction #lazy evaluation
Lazy Abstraction with Interpolants (KLM), pp. 123–136.
IJCARIJCAR-2006-Sofronie-Stokkermans
Interpolation in Local Theory Extensions (VSS), pp. 235–250.
TACASTACAS-2005-McMillan #model checking
Applications of Craig Interpolants in Model Checking (KLM), pp. 1–12.
CADECADE-2005-YorshM #generative
A Combination Method for Generating Interpolants (GY, MM), pp. 353–368.
CAVCAV-2005-JhalaM #approximate
Interpolant-Based Transition Relation Approximation (RJ, KLM), pp. 39–51.
ITiCSEITiCSE-2004-FisherLS #approximate
Curve and surface interpolation and approximation: knowledge unit and software tool (JF, JLL, CKS), pp. 146–150.
TACASTACAS-2004-McMillan #proving #theorem proving
An Interpolating Theorem Prover (KLM), pp. 16–30.
ICMLICML-2004-SzepesvariS
Interpolation-based Q-learning (CS, WDS).
ICPRICPR-v4-2004-Amano #image
Image Interpolation by High Dimensional Projection based on Subspace Method (TA), pp. 665–668.
ICPRICPR-v4-2004-NumadaNKKT #image #polynomial #using
Sharpening of CT Images by Cubic Interpolation using B-Spline (MN, TN, KK, HK, HT), pp. 701–704.
CSLCSL-2004-McMillan #model checking
Applications of Craig Interpolation to Model Checking (KLM), pp. 22–23.
VLDBVLDB-2003-WangSG
An Interpolated Volume Data Model (TW, SS, AG), pp. 1121–1124.
SASSAS-2003-McMillan #analysis #reachability
Craig Interpolation and Reachability Analysis (KLM), p. 336.
CAVCAV-2003-McMillan #model checking #satisfiability
Interpolation and SAT-Based Model Checking (KLM), pp. 1–13.
DACDAC-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.
DATEDATE-2002-CoelhoSP #algorithm #approximate #using
Passive Constrained Rational Approximation Algorithm Using Nevanlinna-Pick Interpolation (CPC, LMS, JRP), pp. 923–930.
DATEDATE-2002-VandenbusscheLUSG #design
Systematic Design of a 200 Ms/S 8-bit Interpolating A/D Converter (JV, EL, KU, MS, GGEG), pp. 357–361.
ICPRICPR-v3-2002-MullerH #linear
Extending the Linear Interpolating Condition to Advanced Synthetic Discriminant Function Variants (NM, BMH), pp. 883–886.
CIKMCIKM-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.
VLDBVLDB-2000-GrumbachRS
Manipulating Interpolated Data is Easier than You Thought (SG, PR, LS), pp. 156–165.
STOCSTOC-2000-OlshevskyS #confluence #matrix
Matrix-vector product for confluent Cauchy-like matrices with application to confluent rational interpolation (VO, MAS), pp. 573–581.
CIKMCIKM-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.
ICPRICPR-v2-2000-OliveiraVC #image #normalisation
Interpolation/Decimation Scheme Applied to Size Normalization of Characters Images (JJdOJ, LRV, JMdC), pp. 2577–2580.
ICPRICPR-v3-2000-RajanC #image
A Perceptually Organized Method for Image Interpolation (DR, SC), pp. 3742–3745.
ICALPICALP-1999-OlshevskyP #evaluation #matrix #polynomial
Polynomial and Rational Evaluation and Interpolation (with Structured Matrices) (VO, VYP), pp. 585–594.
ASEASE-1997-DimitrakosM #refinement
Notes on Refinement, Interpolation and Uniformity (TD, TSEM), pp. 108–116.
DACDAC-1997-WillemsBKGM #approach #design #fixpoint
System Level Fixed-Point Design Based on an Interpolative Approach (MW, VB, HK, TG, HM), pp. 293–298.
ICDARICDAR-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.
ICPRICPR-1996-HoC #multi #problem #representation
Wavelet representation for multigrid computation in surface interpolation problem (WJH, WTC), pp. 740–744.
ICPRICPR-1996-LiaoA #using
Curve and surface interpolation using rational radial basis functions (WHL, JKA), pp. 8–13.
ICPRICPR-1996-ShihLC #image
Contour model guided image warping for image interpolation (WSVS, WCL, CTC), pp. 396–400.
ICDARICDAR-v1-1995-MoriAM #documentation #n-gram #recognition
Japanese document recognition based on interpolated n-gram model of character (HM, HA, SM), pp. 274–277.
TLCATLCA-1995-Padovani #equation #equivalence #on the
On Equivalence Classes of Interpolation Equations (VP), pp. 335–349.
ICALPICALP-1993-AnderssonM
Dynamic Interpolation Search in o(log log n) Time (AA, CM), pp. 15–27.
SACSAC-1993-GrahamI #incremental #linear
Double- and Triple-Step Incremental Linear Interpolation (PG, SSI), pp. 368–372.
ICALPICALP-1992-Mansour #approximate #random
Randomized Interpolation and Approximation of Sparse Polynomials (YM), pp. 261–272.
SIGMODSIGMOD-1991-Neugebauer #database #embedded #evaluation #optimisation #query
Optimization and Evaluation of Database Queries Including Embedded Interpolation Procedures (LN), pp. 118–127.
STOCSTOC-1990-BorodinT #decidability #on the #polynomial
On the Decidability of Sparse Univariate Polynomial Interpolation (Preliminary Version) (AB, PT), pp. 535–545.
STOCSTOC-1988-Ben-OrT #algorithm #multi
A Deterministic Algorithm for Sparse Multivariate Polynominal Interpolation (Extended Abstract) (MBO, PT), pp. 301–309.
CSLCSL-1988-Karpinski #algebra #complexity #problem
Boolean Complexity of Algebraic Interpolation Problems (MK), pp. 138–147.
PODSPODS-1985-Ouksel #grid
The Interpolation-Based Grid File (AMO), pp. 20–27.
ICALPICALP-1985-MehlhornT
Dynamic Interpolation Search (KM, AKT), pp. 424–434.
PODSPODS-1983-Burkhard #maintenance
Interpolation-Based Index Maintenance (WAB), pp. 76–89.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.