10715 search results - page 1799 / 2143 » From Tests to Proofs |
169
click to vote
TEC
2008
15 years 6 months ago
2008
Abstract--We present an algorithm that coevolves fitness predictors, optimized for the solution population, which reduce fitness evaluation cost and frequency, while maintaining ev...
196
click to vote
TIFS
2008
15 years 6 months ago
2008
We investigate three schemes for severe compression of iris images in order to assess what their impact would be on recognition performance of the algorithms deployed today for ide...
209
Voted
TIP
2008
15 years 6 months ago
2008
A method for removing additive Gaussian noise from digital images is described. It is based on statistical modeling of the coefficients of a redundant, oriented, complex multiscale...
226
Voted
ITA
2007
15 years 6 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
164
click to vote
TIP
2008
15 years 6 months ago
2008
In this work, we investigate how illuminant estimation techniques can be improved, taking into account automatically extracted information about the content of the images. We consi...