1421 search results - page 136 / 285 » The First and Second Max-SAT Evaluations |
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
GPC
2007
Springer
14 years 4 months ago
2007
Springer
Sharing huge databases in distributed systems is inherently difficult. As the amount of stored data increases, data localization techniques become no longer sufficient. A more ef...
ISBRA
2007
Springer
14 years 4 months ago
2007
Springer
Clustering algorithms are employed in many bioinformatics tasks, including categorization of protein sequences and analysis of gene-expression data. Although these algorithms are r...
MLMI
2007
Springer
14 years 4 months ago
2007
Springer
A speech separation system is described in which sources are represented in a joint interaural time difference-fundamental frequency (ITD-F0) cue space. Traditionally, recurrent t...
NOLISP
2007
Springer
14 years 4 months ago
2007
Springer
Voice source analysis is an important but difficult issue for speech processing. In this talk, three aspects of voice source analysis recently developed at LIMSI (Orsay, France) a...