11808 search results - page 1993 / 2362 » Isometries and Computability Structures |
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 ...
200
click to vote
AGP
1999
IEEE
15 years 11 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...