391 search results - page 9 / 79 » Evaluation of Length-Lex Set Variables |
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Our ability to simultaneously measure the expression levels of thousands of genes in biological samples is providing important new opportunities for improving the diagnos...
CAV
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
CP
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. For efficiency reasons, neighbourhoods in local search are often shrunk by only considering moves modifying variables that actually contribute to the overall penalty. The...
FOCI
2007
IEEE
14 years 4 months ago
2007
IEEE
— In this paper, a time varying jumping rate (TVJR) model for Opposition-Based Differential Evolution (ODE) has been proposed. According to this model, the jumping rate changes l...
EMNLP
2008
13 years 11 months ago
2008
String-to-string transduction is a central problem in computational linguistics and natural language processing. It occurs in tasks as diverse as name transliteration, spelling co...