8828 search results - page 1179 / 1766 » Formal methods in practice |
222
click to vote
CEC
2003
IEEE
15 years 11 months ago
2003
IEEE
AbstractGaphyl is an application of evolutionary algorithms (EA's) to phylogenetics, an approach used by biologists to investigate evolutionary relationships among organisms. ...
196
click to vote
EH
2000
IEEE
15 years 11 months ago
2000
IEEE
The differences between electronics design through artificial evolution and through conventional methods have the consequence that evolved circuits may take unusual leverage from ...
211
click to vote
GI
2000
Springer
15 years 11 months ago
2000
Springer
Data consistency in transactional federations is a key requirement of advanced E-service applications on the Internet, such as electronic auctions or real-estate purchase. Federat...
265
click to vote
ANNES
1995
15 years 11 months ago
1995
The 1R procedure for machine learning is a very simple one that proves surprisingly effective on the standard datasets commonly used for evaluation. This paper describes the metho...
204
click to vote
HICSS
1995
IEEE
15 years 11 months ago
1995
IEEE
The computing community has long faced the problem of scientifically comparing different computers and different algorithms. When architecture, method, precision, or storage capac...