Sciweavers

10715 search results - page 131 / 2143
» Proofs from Tests
Sort
View
RANDOM
1997
Springer
14 years 2 months ago
A Combinatorial Consistency Lemma with Application to Proving the PCP Theorem
The current proof of the PCP Theorem (i.e., NP = PCP(log, O(1))) is very complicated. One source of difficulty is the technically involved analysis of low-degree tests. Here, we r...
Oded Goldreich, Shmuel Safra
ICASSP
2010
IEEE
13 years 11 months ago
Cover song detection: From high scores to general classification
Existing cover song detection systems require prior knowledge of the number of cover songs in a test set in order to identify cover(s) to a reference song. We describe a system th...
Suman Ravuri, Daniel P. W. Ellis
JIPS
2008
116views more  JIPS 2008»
13 years 10 months ago
An Empirical Study of Qualities of Association Rules from a Statistical View Point
: Minimum support and confidence have been used as criteria for generating association rules in all association rule mining algorithms. These criteria have their natural appeals, s...
Maryann Dorn, Wen-Chi Hou, Dunren Che, Zhewei Jian...
SIGADA
2005
Springer
14 years 4 months ago
Optimizing the SPARK program slicer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
Ricky E. Sward, Leemon C. Baird III
LPAR
2004
Springer
14 years 4 months ago
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
Mark Bickford, Robert L. Constable, Joseph Y. Halp...