11784 search results - page 22 / 2357 » Interpolation for data structures |
CAV
2008
Springer
13 years 9 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
ENVSOFT
2000
13 years 7 months ago
2000
A technique is proposed for smoothing a broken line fit, with known break points, to observational data. It will be referred to as "broken line smoothing". The smoothness...
PAMI
2007
13 years 7 months ago
2007
Many visual cues for surface reconstruction from known views are sparse in nature, e.g. specularities, surface silhouettes and salient features in an otherwise textureless region....
3DIM
2005
IEEE
14 years 1 months ago
2005
IEEE
ICCS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...