4107 search results - page 221 / 822 » The Generalized Lambda Test |
185
click to vote
INFSOF
2010
15 years 3 months ago
2010
Successful software development and management depends not only on the technologies, methods and processes employed but also on the judgments and decisions of the humans involved....
182
click to vote
JMLR
2010
15 years 1 months ago
2010
To handle problems created by large data sets, we propose a method that uses a decision tree to decompose a given data space and train SVMs on the decomposed regions. Although the...
306
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Variations in delay caused by within-die and die-to-die process variations and SOI history effect increase timing margins and reduce performance. In order to develop mitigation te...
187
Voted
COCO
2009
Springer
16 years 1 months ago
2009
Springer
Locally testable codes (LTCs) are error-correcting codes for which membership, in the code, of a given word can be tested by examining it in very few locations. Most known constru...
179
click to vote
CF
2005
ACM
15 years 8 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...