Philosophical aspects of program verification.

James H. Fetzer

Published in: Minds Mach. (1991)

Keyphrases

artificial intelligence
feature extraction
data sets
computational intelligence
neural network
genetic algorithm
data streams
image retrieval
main aspects