882 search results - page 62 / 177 » Local Search for Very Large SAT Problems |
ICASSP
2008
IEEE
15 years 6 months ago
2008
IEEE
Corpus-based concatenative speech synthesis is very popular these days due to its highly natural speech quality. The amount of computation required in the run time, however, is of...
79
Voted
ACG
2006
Springer
15 years 5 months ago
2006
Springer
Seki is a situation of coexistence in the game of Go, where neither player can profitably capture the opponent’s stones. This paper presents a new method for deciding whether an...
DELOS
2004
15 years 1 months ago
2004
We consider the problem of collaborative search across a large number of digital libraries and query routing strategies in a peerto-peer (P2P) environment. Both digital libraries a...
ISMIS
1999
Springer
15 years 4 months ago
1999
Springer
Knowledge Discovery in Databases (KDD) is a data analysis process which, in contrast to conventional data analysis, automatically generates and evaluates very many hypotheses, deal...
HAIS
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a hybrid evolutionary algorithm to tackle university course timetabling problems. The proposed approach is an extension of a non-linear great deluge algorithm i...