News

A potential application would be obtaining clusters with equal cluster size. Moreover, the modified algorithm makes use of prior knowledge of the given data set for selectively initializing the ...
Abstract: We present a memetic algorithm for program safety properties verification. This problem is expressed by means of Reach ability of some erroneous location L in the program. We use a new ...
1 United States Department of Agriculture, Crop Stress Research Laboratory, Lubbock, TX, United States 2 Agricultural Science Center at Clovis, New Mexico State University, Clovis, NM, United States ...