296 search results - page 7 / 60 » Numerical function generators using bilinear interpolation |
139
click to vote
CADE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
114
click to vote
IMAMS
2007
15 years 4 months ago
2007
We present C1 methods for either interpolating data or for fitting scattered data associated with a smooth function on a two-dimensional smooth manifold Ω embedded into R3 . The ...
110
click to vote
SIAMSC
2008
15 years 2 months ago
2008
Abstract. We present a new derivative-free algorithm, ORBIT, for unconstrained local optimization of computationally expensive functions. A trust-region framework using interpolati...
122
click to vote
ASPDAC
2007
ACM
15 years 6 months ago
2007
ACM
In the paper, we develop a systematic methodology for modeling sampled interconnect frequency response data based on spline interpolation. Through piecewise polynomial interpolatio...
125
click to vote
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...