1140 search results - page 163 / 228 » Progress on Certifying Algorithms |
CAV
2004
Springer
14 years 3 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Spiking neural networks are computationally more powerful than conventional artificial neural networks. Although this fact should make them especially desirable for use in evoluti...
PPSN
2004
Springer
14 years 3 months ago
2004
Springer
It is typical for the EA community that theory follows experiments. Most theoretical approaches use some model of the considered evolutionary algorithm (EA) but there is also some ...
ACSAC
2003
IEEE
14 years 3 months ago
2003
IEEE
Over the past decade, Intrusion Detection Systems (IDS) have improved steadily in the efficiency and effectiveness with which they detect intrusive activity. This is particularly ...
AINA
2003
IEEE
14 years 3 months ago
2003
IEEE
Network security has always been a significant issue, but a recognized priority today due to the popular of internet. The issue is not if security should be implemented on a netwo...