Sciweavers

1789 search results - page 240 / 358
» Genetic Algorithms for Component Analysis
Sort
View
141
Voted
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 5 months ago
A Practical Approach to Word Level Model Checking of Industrial Netlists
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
Per Bjesse
135
Voted
NIPS
2008
15 years 5 months ago
Theory of matching pursuit
We analyse matching pursuit for kernel principal components analysis (KPCA) by proving that the sparse subspace it produces is a sample compression scheme. We show that this bound...
Zakria Hussain, John Shawe-Taylor
115
Voted
FIMI
2003
120views Data Mining» more  FIMI 2003»
15 years 5 months ago
MAFIA: A Performance Study of Mining Maximal Frequent Itemsets
We present a performance study of the MAFIA algorithm for mining maximal frequent itemsets from a transactional database. In a thorough experimental analysis, we isolate the effec...
Douglas Burdick, Manuel Calimlim, Jason Flannick, ...
150
Voted
SIAMJO
2011
14 years 10 months ago
Approximating Semidefinite Packing Programs
In this paper we define semidefinite packing programs and describe an algorithm to approximately solve these problems. Semidefinite packing programs arise in many applications s...
Garud Iyengar, David J. Phillips, Clifford Stein
ICASSP
2011
IEEE
14 years 7 months ago
Epileptic seizure prediction using the spatiotemporal correlation structure of intracranial EEG
A patient-specific seizure prediction algorithm is proposed that extracts novel multivariate signal coherence features from ECoG recordings and classifies a patient’s pre-seiz...
James R. Williamson, Daniel W. Bliss, David W. Bro...