Showing 101 - 120 results of 14,726 for search '"interpolation"', query time: 0.15s Refine Results
  1. 101

    Lipschitz optimisation for Lipschitz Interpolation by Calliess, J

    Published 2017
    “…Techniques known as Nonlinear Set Membership prediction, Kinky Inference or Lipschitz Interpolation are fast and numerically robust approaches to nonparametric machine learning that have been proposed to be utilised in the context of system identification and learning-based control. …”
    Conference item
  2. 102

    Restructuring Resolution Refutations for Interpolation by D'Silva, V, Kroening, D, Purandare, M, Weissenbacher, G

    Published 2008
    “…Interpolants are the cornerstone of several approximate verification techniques. …”
    Record
  3. 103

    Preface: Special Issue on Interpolation by Kroening, D, Rybalchenko, A

    Published 2016
    “…Craig interpolation is a technique known to logicians since the 1950s [1]. …”
    Journal article
  4. 104
  5. 105

    Stability of barycentric interpolation formulas by Webb, M, Trefethen, L, Gonnet, P

    Published 2011
    “…The barycentric interpolation formula defines a stable algorithm for evaluation at points in [−1, 1] of polynomial interpolants through data on Chebyshev grids. …”
    Report
  6. 106

    Propositional Interpolation and Abstract Interpretation by D'Silva, V

    Published 2010
    “…Algorithms for computing Craig interpolants have several applications in program verification. …”
    Conference item
  7. 107

    ROBOT TRAJECTORY PLANNING BASED ON 4-1-4 SPLINE INTERPOLATION WITH THE SAME INTERPOLATION TIME by XIONG RuiYang, JIA JianPin, HU RongHua, YUAN XinLiang, GUO FuMin

    Published 2020-01-01
    Subjects: “…D-H parameter method;Kinematics equation;Quartic polynomial;Linear interpolation;Adams Simulation…”
    Get full text
    Article
  8. 108
  9. 109
  10. 110
  11. 111
  12. 112
  13. 113
  14. 114
  15. 115
  16. 116
  17. 117
  18. 118
  19. 119
  20. 120