226
Voted
TACAS
15 years 10 months ago
2004 Springer 
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
188
Voted
WAOA
15 years 10 months ago
2004 Springer 184
click to vote
WAW
15 years 10 months ago
2004 Springer
We develop an algorithm to detect community structure in complex networks. The algorithm is based on spectral methods and takes into account weights and links orientations. Since t...
184
click to vote
ASIAN
15 years 10 months ago
2004 Springer
Abstract. This text is an informal review of several randomized algorithms that have appeared over the past two decades and have proved instrumental in extracting efficiently quant...
183
click to vote
APPROX
15 years 10 months ago
2004 Springer
The problem of estimating the kth frequency moment Fk for any nonnegative k, over a data stream by looking at the items exactly once as they arrive, was considered in a seminal pap...
|
Algorithms