Total Correctness for Procedures.

Stefan Sokolowski

Published in: MFCS (1977)

Keyphrases

artificial neural networks
neural network
genetic algorithm
multiscale
multiresolution
decision making
data mining
computer vision
lower bound