3804 search results - page 352 / 761 » From Here to There |
178
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
— Machine learning has made great progress during the last decades and is being deployed in a wide range of applications. However, current machine learning techniques are far fro...
168
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
Estimation of distribution algorithms (EDAs) try to solve an optimization problem by finding a probability distribution focussed around its optima. For this purpose they conduct ...
155
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—Enhanced network services often involve allocating resources (bandwidth/buffer space) preferentially to packets belonging to certain flows or traffic classes. Such services ar...
189
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
170
click to vote
ENTCS
2007
15 years 6 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...