738 search results - page 80 / 148 » Crossover can provably be useful in evolutionary computation |
110
click to vote
GECCO
2004
Springer
15 years 3 months ago
2004
Springer
The ability to predict the quality of a software object can be viewed as a classification problem, where software metrics are the features and expert quality rankings the class lab...
103
click to vote
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
102
click to vote
SCN
2008
Springer
14 years 9 months ago
2008
Springer
Consider an electronic election scheme implemented using a mix-net; a large number of voters submit their votes and then a smaller number of servers compute the result. The mix-net...
106
click to vote
JOC
2006
14 years 9 months ago
2006
Abstract. In response to the current need for fast, secure and cheap public-key cryptography, we propose an interactive zero-knowledge identification scheme and a derived signature...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
It is well known that incremental learning can often be difficult for traditional neural network systems, due to newly learned information interfering with previously learned infor...