860 search results - page 159 / 172 » Lower Bounds on the Size of Test Data Sets |
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
GCC
2007
Springer
14 years 1 months ago
2007
Springer
Image filtering is the use of computer graphics algorithms to enhance the quality of digital images or to extract information about their content. However rendering very large siz...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
When building predictors of disease state based on gene expression data, gene selection is performed in order to achieve a good performance and to identify a relevant subset of ge...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
The number of studies investigating automated genre classification is growing following the increasing amounts of digital audio data available. The underlying techniques to perfor...
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...