Introducing Institutions.

Joseph A. Goguen Rod M. Burstall

Published in: Logic of Programs (1983)

Keyphrases

pattern recognition
artificial neural networks
real time
genetic algorithm
artificial intelligence
computer vision
image segmentation
digital libraries
trade off
evolutionary algorithm