2843 search results - page 26 / 569 » Interpolation by geometric algorithm |
ALENEX
2003
13 years 11 months ago
2003
We present a data structure, called a ray interpolant tree, or RI-tree, which stores a discrete set of directed lines in 3-space, each represented as a point in 4-space. Each dire...
CADE
2009
Springer
14 years 4 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 ...
VIS
2004
IEEE
14 years 11 months ago
2004
IEEE
We propose an interpolating refinement method for two- and threedimensional scalar fields defined on hexahedral grids. Iterative fairing of the underlying contours (isosurfaces) p...
COCO
2008
Springer
13 years 11 months ago
2008
Springer
DAGM
2003
Springer
14 years 3 months ago
2003
Springer
In this paper we address the problem of building a good speech recognizer if there is only a small amount of training data available. The acoustic models can be improved by interpo...