8294 search results - page 1323 / 1659 » Presenting Data from Experiments in Algorithmics |
228
click to vote
ICDE
2001
IEEE
16 years 6 months ago
2001
IEEE
We propose to extend database systems by a Skyline operation. This operation filters out a set of interesting points from a potentially large set of data points. A point is intere...
233
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
We propose a new multi-scale terrain model, based on a hierarchical representation for the morphology of a terrain. The basis of our morphological model is a dual Morse decomposit...
138
click to vote
ISBI
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we propose a novel variational framework for the reconstruction of dynamic objects from sparse and noisy tomographic data. Using an object-based scene model, we dev...
280
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
170
click to vote
FLOPS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...