7049 search results - page 347 / 1410 » Data Abstraction for CSP-OZ |
171
click to vote
FATES
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
168
click to vote
ERCIMDL
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper describes CAP7, a system for searching and browsing in distributed document (metadata) collections. The system architecture is similar to Harvest, comprising g...
170
click to vote
KDD
2000
ACM
15 years 10 months ago
2000
ACM
There has been much recent interest in adapting data mining algorithms to time series databases. Most of these algorithms need to compare time series. Typically some variation of ...
254
click to vote
SC
1995
ACM
15 years 10 months ago
1995
ACM
Abstract We discuss data production rates and their impact on the performance of scientific applications using parallel computers. On one hand, too high rates of data production c...
197
click to vote
PAKDD
2010
ACM
15 years 8 months ago
2010
ACM
Abstract. One of the more challenging problems faced by the data mining community is that of imbalanced datasets. In imbalanced datasets one class (sometimes severely) outnumbers t...