637 search results - page 7 / 128 » Filtering with Approximate Predicates |
88
Voted
CIKM
2006
Springer
15 years 1 months ago
2006
Springer
New optimization techniques, e. g., in data stream management systems (DSMSs), make the treatment of disjunctive predicates a necessity. In this paper, we introduce and compare me...
104
click to vote
WISE
2006
Springer
15 years 3 months ago
2006
Springer
Filtering queries are widely used in data stream applications. As more and more filtering queries are registered in high-speed data stream management system, the processing efficie...
102
Voted
TIP
2008
14 years 9 months ago
2008
The bilateral filter is a nonlinear filter that does spatial averaging without smoothing edges; it has shown to be an effective image denoising technique. An important issue with t...
83
Voted
CAV
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
FLOPS
1999
Springer
15 years 1 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...