858 search results - page 92 / 172 » One Is Enough! |
EUROCRYPT
2004
Springer
14 years 22 days ago
2004
Springer
We show that in applications that use the Diffie-Hellman (DH) transform but take care of hashing the DH output (as required, for example, for secure DH-based encryption and key ex...
ECAI
2006
Springer
14 years 21 days ago
2006
Springer
We describe a generalized Q-learning type algorithm for reinforcement learning in competitive multi-agent games. We make the observation that in a competitive setting with adaptive...
GECCO
2006
Springer
14 years 20 days ago
2006
Springer
When a considerable number of mutations have no effects on fitness values, the fitness landscape is said neutral. In order to study the interplay between neutrality, which exists ...
APSEC
2003
IEEE
14 years 20 days ago
2003
IEEE
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
ARTS
1997
Springer
14 years 18 days ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...