12052 search results - page 670 / 2411 » computing 2010 |
162
click to vote
SIGOPS
2010
15 years 5 months ago
2010
—Cloud computing provides us with general purpose storage and server hosting platforms at a reasonable price. We explore the possibility of tapping these resources for the purpos...
197
click to vote
DAWAK
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present an information-theoretic framework for mining dependencies between itemsets in binary data. The problem of closure-based redundancy in this context is theoreti...
214
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--We study replication mechanisms that include ReedSolomon type codes as well as network coding in order to improve the probability of successful delivery within a given ti...
189
click to vote
ITP
2010
15 years 5 months ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
201
click to vote
DMTCS
2010
15 years 4 months ago
2010
Abstract. For 3 different versions of q-tangent resp. q-cotangent functions, we compute the continued fraction expansion explicitly, by guessing the relative quantities and proving...