376 search results - page 16 / 76 » Improved Design Debugging Using Maximum Satisfiability |
UAI
2008
13 years 8 months ago
2008
We present and evaluate new techniques for designing algorithm portfolios. In our view, the problem has both a scheduling aspect and a machine learning aspect. Prior work has larg...
SIAMNUM
2010
13 years 1 months ago
2010
A set XN of N points on the unit sphere is a spherical t-design if the average value of any polynomial of degree at most t over XN is equal to the average value of the polynomial o...
GECCO
2010
Springer
13 years 11 months ago
2010
Springer
Evolutionary methods have been used to repair programs automatically, with promising results. However, the fitness function used to achieve these results was based on a few simpl...
COMPSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Bug patterns are erroneous code idioms or bad coding practices that have been proved fail time and time again. They mainly arise from the misunderstanding of language features, th...
ICASSP
2011
IEEE
12 years 10 months ago
2011
IEEE
A new noise reduction method based on spatio-temporal frequency analysis is proposed that can be applied to head-related impulse response (HRIR), which is an impulse response betw...