2562 search results - page 441 / 513 » Components of the Fundamental Category |
149
click to vote
SIGMOD
2007
ACM
16 years 1 days ago
2007
ACM
The use of any modern computer system leaves unintended traces of expired data and remnants of users' past activities. In this paper, we investigate the unintended persistenc...
175
click to vote
SIGMOD
2007
ACM
16 years 1 days ago
2007
ACM
Two trends are converging to make the CPU cost of a table scan a more important component of database performance. First, table scans are becoming a larger fraction of the query p...
156
click to vote
SIGMOD
2005
ACM
16 years 1 days ago
2005
ACM
A data mining component is included in Microsoft SQL Server 2000 and SQL Server 2005, one of the most popular DBMSs. This gives a push for data mining technologies to move from a ...
108
click to vote
PODS
2007
ACM
16 years 10 hour ago
2007
ACM
The generalized hypertree width GHW(H) of a hypergraph H is a measure of its cyclicity. Classes of conjunctive queries or constraint satisfaction problems whose associated hypergr...
ICFP
2008
ACM
15 years 12 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...