2800 search results - page 75 / 560 » Fibrational Control Structures |
122
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
In this paper, we propose a simple genetic algorithm for finding the optimal conformation of a protein using the three-dimensional square HP model. A backtracking procedure is use...
115
Voted
SAFECOMP
1998
Springer
15 years 6 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
107
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
In the last years, distributed coordinator-free systems, e.g., peerto-peer systems (P2P systems), have attracted much interest among researchers and practitioners. In these system...
124
Voted
IASTEDSEA
2004
15 years 4 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
116
click to vote
IWEC
2004
15 years 4 months ago
2004
Procedural techniques will soon automate many aspects of content creation for computer games. We describe an efficient, deterministic, methodology for procedurally generating 3D ga...