3573 search results - page 616 / 715 » Reasoning about Codata |
213
click to vote
SIGMOD
2006
ACM
16 years 25 days ago
2006
ACM
Data stream applications have made use of statistical summaries to reason about the data using nonparametric tools such as histograms, heavy hitters, and join sizes. However, rela...
196
Voted
SIGMOD
2006
ACM
16 years 25 days ago
2006
ACM
In many data sharing settings, such as within the biological and biomedical communities, global data consistency is not always attainable: different sites' data may be dirty,...
110
click to vote
PODS
2002
ACM
16 years 25 days ago
2002
ACM
In multidimensional data models intended for online analytic processing (OLAP), data are viewed as points in a multidimensional space. Each dimension has structure, described by a...
107
click to vote
PODS
2005
ACM
16 years 25 days ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...
EDBT
2002
ACM
16 years 25 days ago
2002
ACM
Web logs collected by proxy servers, referred to as proxy logs or proxy traces, contain information about Web document accesses by many users against many Web sites. This "man...