1458 search results - page 149 / 292 » Monads for incremental computing |
193
click to vote
AISC
2004
Springer
15 years 12 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
162
click to vote
LSGRID
2004
Springer
15 years 11 months ago
2004
Springer
The BRIDGES project is incrementally developing and exploring database integration over six geographically distributed research sites with the framework of a Wellcome Trust biomedi...
176
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper is concerned with X-ray volume visualization by means of wavelet splatting, a wavelet-based extension to splatting. Wavelet splatting allows multiresolution visualizati...
175
click to vote
CVPR
1997
IEEE
15 years 10 months ago
1997
IEEE
We present an incremental system that builds accurate CAD models of objects from multiple range images. Using a hybrid of surface mesh and volumetric representations, the system c...
231
click to vote
EDBT
1994
ACM
15 years 10 months ago
1994
ACM
Abstract. Good estimates of join result sizes are critical for query optimization in relational database management systems. We address the problem of incrementally obtaining accur...