3333 search results - page 420 / 667 » Abstract Proof Search |
170
click to vote
GECCO
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. We present upper bounds on the time and space complexity of finding the global optimum of additively separable functions, a class of functions that has been studied exten...
201
click to vote
INLG
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
164
click to vote
SAT
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. In this paper we define a class of truth-value assignments, called bounded assignments, using a certain substitutional property. We show that every satisfiable Boolean ...
180
click to vote
CEC
2003
IEEE
16 years 14 days ago
2003
IEEE
Abstract- The Maximum Homologous Crossover attempts to preserve similar structures from parents by aligning them according to their homology. In this paper, it is successfully test...
153
click to vote
ASIACRYPT
2003
Springer
16 years 12 days ago
2003
Springer
Abstract. Khazad is a new block cipher initially proposed as a candidate to the NESSIE project. Its design is very similar to Rijndael, although it is a 64-bit block cipher. In thi...