1731 search results - page 275 / 347 » Maximum likelihood analysis of algorithms and data structure... |
153
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
144
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents an evaluation of the design decisions made in four state-of-the-art constraint solvers; Choco, ECLiPSe, Gecode, and Minion. To assess the impact of design deci...
118
click to vote
ESA
2006
Springer
15 years 6 months ago
2006
Springer
A counting Bloom filter (CBF) generalizes a Bloom filter data structure so as to allow membership queries on a set that can be changing dynamically via insertions and deletions. As...
112
click to vote
SCIA
2009
Springer
15 years 9 months ago
2009
Springer
This paper introduces a novel method for noise reduction in medical images based on concepts of the Non-Local Means algorithm. The main objective has been to develop a method that ...
129
click to vote
VISUALIZATION
1999
IEEE
15 years 7 months ago
1999
IEEE
We present a method for the hierarchical representation of vector fields. Our approach is based on iterative refinement using clustering and principal component analysis. The inpu...