Sciweavers

7065 search results - page 1240 / 1413
» Iterative Scheduling Algorithms
Sort
View
IDA
1997
Springer
15 years 9 months ago
How to Find Big-Oh in Your Data Set (and How Not to)
The empirical curve bounding problem is de ned as follows. Suppose data vectors X Y are presented such that E(Y i]) = f(X i]) where f(x) is an unknown function. The problem is to a...
Catherine C. McGeoch, Doina Precup, Paul R. Cohen
158
Voted
KDD
1997
ACM
221views Data Mining» more  KDD 1997»
15 years 9 months ago
MineSet: An Integrated System for Data Mining
MineSetTM , Silicon Graphics’ interactive system for data mining, integrates three powerful technologies: database access, analytical data mining, and data visualization. It sup...
Clifford Brunk, James Kelly, Ron Kohavi
139
Voted
KDD
1997
ACM
143views Data Mining» more  KDD 1997»
15 years 9 months ago
Anytime Exploratory Data Analysis for Massive Data Sets
Exploratory data analysis is inherently an iterative, interactive endeavor. In the context of massive data sets, however, many current data analysis algorithms will not scale appr...
Padhraic Smyth, David Wolpert
ASPDAC
2007
ACM
124views Hardware» more  ASPDAC 2007»
15 years 9 months ago
BddCut: Towards Scalable Symbolic Cut Enumeration
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
Andrew C. Ling, Jianwen Zhu, Stephen Dean Brown
143
Voted
CAV
2007
Springer
164views Hardware» more  CAV 2007»
15 years 9 months ago
SAT-Based Compositional Verification Using Lazy Learning
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
Nishant Sinha, Edmund M. Clarke
« Prev « First page 1240 / 1413 Last » Next »