15416 search results - page 2730 / 3084 » Embeddings of Computable Structures |
216
click to vote
INFOCOM
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract—In this paper, we present the implementation issues of a virtual backbone that supports the operations of the Uniform Quorum System (UQS) and the Randomized Database Gro...
161
click to vote
ISCA
2000
IEEE
15 years 11 months ago
2000
IEEE
Value locality, a recently discovered program attribute that describes the likelihood of the recurrence of previously-seen program values, has been studied enthusiastically in the...
165
click to vote
SSDBM
2000
IEEE
15 years 11 months ago
2000
IEEE
Existing datacube precompuatation schemes materialize selected datacube tuples on disk, choosing the most beneficial cuboids (i.e., combinations of dimensions) to materialize giv...
180
click to vote
PODS
2000
ACM
15 years 11 months ago
2000
ACM
An estimation algorithm for a query is a probabilistic algorithm that computes an approximation for the size (number of tuples) of the query. One class of estimation algorithms us...
169
click to vote
IUI
2010
ACM
15 years 11 months ago
2010
ACM
We propose the concept of research trails to help web users create and reestablish context across fragmented research processes without requiring them to explicitly structure and ...