7943 search results - page 1258 / 1589 » A calculus for costed computations |
174
click to vote
WISE
2002
Springer
15 years 11 months ago
2002
Springer
Delta compression techniques are commonly used to succinctly represent an updated version of a file with respect to an earlier one. In this paper, we study the use of delta compr...
173
Voted
AINA
2010
IEEE
15 years 11 months ago
2010
IEEE
—In the offshore engineering community, reliable deep-water anchor performance is critical for mooring floating platforms such as Mobile Offshore Drilling Units. In a typical in...
170
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
Citing recent successes in forecasting elections, movies, products, and other outcomes, prediction market advocates call for widespread use of market-based methods for government ...
167
click to vote
ACNS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In 2008, Groth and Sahai proposed a general methodology for constructing non-interactive zeroknowledge (and witness-indistinguishable) proofs in bilinear groups. While av...
192
Voted
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
The fundamental dichotomy in evolutionary algorithms is that between exploration and exploitation. Recently, several algorithms [8, 9, 14, 16, 17, 20] have been introduced that gu...