1024 search results - page 130 / 205 » Value complete, column complete, predicate complete |
113
click to vote
VIS
2008
IEEE
16 years 1 months ago
2008
IEEE
The Morse-Smale (MS) complex has proven to be a useful tool in extracting and visualizing features from scalar-valued data. However, efficient computation of the MS complex for lar...
DAC
1998
ACM
16 years 26 days ago
1998
ACM
In this paper we present a statistical method for estimating the maximum power consumption in VLSI circuits. The method is based on the theory of extreme order statistics applied ...
104
click to vote
KDD
2004
ACM
16 years 9 days ago
2004
ACM
Reluctance of data owners to share their possibly confidential or proprietary data with others who own related databases is a serious impediment to conducting a mutually beneficia...
130
click to vote
CADE
2005
Springer
16 years 6 days ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
SIGMOD
2004
ACM
16 years 1 days ago
2004
ACM
Snapshot Isolation (SI), is a multi-version concurrency control algorithm introduced in [BBGMOO95] and later implemented by Oracle. SI avoids many concurrency errors, and it never ...