A Formally Verified Sorting Certifier.

Jonathan D. Bright Gregory F. Sullivan Gerald M. Masson

Published in: IEEE Trans. Computers (1997)

Keyphrases

genetic algorithm
database
real time
data sets
information retrieval
information systems
case study
feature extraction
multi agent systems
information technology
medical images