7988 search results - page 1207 / 1598 » A Useful Undecidable Theory |
188
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a highly efficient, fully parallelized implementation of the compact genetic algorithm (cGA) to solve very large scale problems with millions to billions of va...
186
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Computation in biology and in conventional computer architectures seem to share some features, yet many of their important characteristics are very different. To address this, [1]...
182
click to vote
ISW
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
184
click to vote
MKM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
195
click to vote
MODELS
2007
Springer
16 years 1 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...