1024 search results - page 131 / 205 » Value complete, column complete, predicate complete |
103
click to vote
PODS
2005
ACM
16 years 1 days ago
2005
ACM
The challenge of monitoring massive amounts of data generated by communication networks has led to the interest in data stream processing. We study streams of edges in massive com...
102
click to vote
ICFP
2005
ACM
15 years 12 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
ICFP
2003
ACM
15 years 12 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
80
Voted
ICDE
2010
IEEE
15 years 6 months ago
2010
IEEE
— Extracting useful correlation from a dataset has been extensively studied. In this paper, we deal with the opposite, namely, a problem we call correlation hiding (CH), which is...
111
click to vote
DASFAA
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract. In many application domains, e.g. sensor databases, traffic management or recognition systems, objects have to be compared based on positionally and existentially uncert...