Sciweavers

7167 search results - page 1193 / 1434
» Answer Set Programming
Sort
View
GECCO
2005
Springer
154views Optimization» more  GECCO 2005»
15 years 8 months ago
The molecule evoluator: an interactive evolutionary algorithm for designing drug molecules
To help chemists design new drugs, we created a tool that uses interactive evolution to design drug molecules, the “Molecule Evoluator”. In contrast to most other evolutionary...
Eric-Wubbo Lameijer, Adriaan P. IJzerman, Joost N....
99
Voted
GECCO
2005
Springer
136views Optimization» more  GECCO 2005»
15 years 8 months ago
Evolutionary computation and the c-value paradox
The C-value Paradox is the name given in biology to the wide variance in and often very large amount of DNA in eukaryotic genomes and the poor correlation between DNA length and p...
Sean Luke
142
Voted
GRID
2005
Springer
15 years 8 months ago
ASKALON: a Grid application development and computing environment
— We present the ASKALON environment whose goal is to simplify the development and execution of workflow applications on the Grid. ASKALON is centered around a set of high-level...
Thomas Fahringer, Radu Prodan, Rubing Duan, France...
HIPEAC
2005
Springer
15 years 8 months ago
Induction Variable Analysis with Delayed Abstractions
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
Sebastian Pop, Albert Cohen, Georges-André ...
ICALP
2005
Springer
15 years 8 months ago
Password-Based Encryption Analyzed
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
Martín Abadi, Bogdan Warinschi
« Prev « First page 1193 / 1434 Last » Next »