2843 search results - page 26 / 569 » Interpolation by geometric algorithm |
86
Voted
ALENEX
2003
15 years 1 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...
118
click to vote
CADE
2009
Springer
15 years 7 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 ...
104
click to vote
VIS
2004
IEEE
16 years 1 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...
65
Voted
COCO
2008
Springer
15 years 2 months ago
2008
Springer
109
Voted
DAGM
2003
Springer
15 years 5 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...