7289 search results - page 1154 / 1458 » A Dependent Set Theory |
307
click to vote
FMCAD
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
130
click to vote
DATE
1997
IEEE
15 years 11 months ago
1997
IEEE
List scheduling algorithms attempt to minimize latency under resource constraints using a priority list. We propose a new heuristic that can be used in conjunction with any priori...
189
click to vote
KDD
1998
ACM
15 years 11 months ago
1998
ACM
We present the notion of Ranking for evaluation of two-class classifiers. Ranking is based on using the ordering information contained in the output of a scoring model, rather tha...
202
click to vote
PAKDD
1998
ACM
15 years 11 months ago
1998
ACM
The use of Data Mining in removing current bottlenecks within Case-based Reasoning (CBR) systems is investigated along with the possible role of CBR in providing a knowledge manag...
164
click to vote
VLDB
1998
ACM
15 years 11 months ago
1998
ACM
Oracle Materialized Views (MVs) are designed for data warehousing and replication. For data warehousing, MVs based on inner/outer equijoins with optional aggregation, can be refre...