5326 search results - page 410 / 1066 » On what we can ensure |
189
click to vote
DMKD
2003
ACM
16 years 2 days ago
2003
ACM
Homeland security measures are increasing the amount of data collected, processed and mined. At the same time, owners of the data raised legitimate concern about their privacy and...
167
click to vote
CHARME
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
160
click to vote
GECCO
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. This paper presents a theoretical study of the selection pressure in asynchronous cellular evolutionary algorithms (cEAs). This work is motivated by the search for a gene...
155
click to vote
ISSRE
2002
IEEE
15 years 11 months ago
2002
IEEE
We report a study to determine the impact of four types of disturbances on the failure intensity of a software product undergoing system test. Hardware failures, discovery of a cr...
165
click to vote
AE
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents the evolving objects library (EOlib), an object-oriented framework for evolutionary computation (EC) that aims to provide a flexible set of classes to build EC...