13383 search results - page 2331 / 2677 » Abstractions from proofs |
148
click to vote
EVOW
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Finding appropriate parameter values for Evolutionary Algorithms (EAs) is one of the persistent challenges of Evolutionary Computing. In recent publications we showed how...
137
click to vote
ISPASS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Developing CPU scheduling algorithms and understanding their impact in practice can be difficult and time consuming due to the need to modify and test operating system ...
134
click to vote
STACS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the management of buffers and storages in environments with unpredictably varying prices in a competitive analysis. In the economical caching problem, there is ...
168
click to vote
FOCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Motivated by applications in cryptography, we consider a generalization of randomness extraction and the related notion of privacy amplification to the case of two cor...
131
click to vote
ICDM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Breast cancer is the leading cause of cancer mortality in women between the ages of 15 and 54. During mammography screening, radiologists use a strict lexicon (BI-RADS) ...