CORR
2007
Springer
13 years 8 months ago
2007
Springer
CORR
2007
Springer
13 years 8 months ago
2007
Springer
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
We present an algorithm to perform a simultaneous modular reduction of several residues. This enables to compress polynomials into integers and perform several modular operations ...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
We show that the Brier game of prediction is mixable and find the optimal learning rate and substitution function for it. The resulting prediction algorithm is applied to predict...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
We investigate the following question: if a polynomial can be evaluated at rational points by a polynomial-time boolean algorithm, does it have a polynomial-size arithmetic circuit...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
— In this paper, we present a complete analytical study of dynamic membership (aka churn) in structured peer-to-peer networks. We use a master-equation-based approach, which is u...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
CORR
2007
Springer
13 years 8 months ago
2007
Springer
CORR
2007
Springer
13 years 8 months ago
2007
Springer
CORR
2007
Springer
13 years 8 months ago
2007
Springer
There is a growing body of work on sorting and selection in models other than the unit-cost comparison model. This work treats a natural stochastic variant of the problem where the...