14 papers:
- CAV-2015-OulamaraV #abstract interpretation
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation (MO, AJV), pp. 415–430.
- VMCAI-2015-Cousot #induction
- Abstracting Induction by Extrapolation and Interpolation (PC), pp. 19–42.
- ICEIS-v3-2014-RamosV #agile #architecture #development #enterprise
- Extreme Enterprise Architecture Planning (XEAP) — Extrapolating Agile Characteristics to the Development of Enterprise Architectures (HR, AV), pp. 376–383.
- ICML-c3-2013-WilsonA #kernel #process
- Gaussian Process Kernels for Pattern Discovery and Extrapolation (AGW, RPA), pp. 1067–1075.
- OOPSLA-2012-LeinoM
- Program extrapolation with jennisys (KRML, AM), pp. 411–430.
- PPoPP-2011-WuM #communication #named #source code
- ScalaExtrap: trace-based communication extrapolation for spmd programs (XW, FM), pp. 113–122.
- ICPR-v1-2006-JungLYK #refinement
- Radial Distortion Refinement by Inverse Mapping-Based Extrapolation (HGJ, YHL, PJY, JK), pp. 675–678.
- ICPR-v4-2006-LaurendeauB #distance #using
- Shape-Based Contour Interpolation and Extrapolation Using Distance Mapping (DL, OB), pp. 659–662.
- ASE-2005-MenziesPCH #cost analysis #modelling
- Specialization and extrapolation of software cost models (TM, DP, ZC, JH), pp. 384–387.
- KDD-2004-Hooker #estimation
- Diagnosing extrapolation: tree-based density estimation (GH), pp. 569–574.
- FASE-2002-HagererHNS #generative
- Model Generation by Moderated Regular Extrapolation (AH, HH, ON, BS), pp. 80–95.
- KR-2002-Saint-CyrL #how #predict
- Belief Extrapolation (or how to Reason About Observations and Unpredicted Change) (FDdSC, JL), pp. 497–508.
- CAV-2002-BouajjaniT
- Extrapolating Tree Transformations (AB, TT), pp. 539–554.
- DAC-2000-CaldwellCKKLMOSS #named
- GTX: the MARCO GSRC technology extrapolation system (AEC, YC, ABK, FK, HL, ILM, MO, DS, DS), pp. 693–698.