Proving the Correctness of Algebraic Implementations by the ISAR System.

Bernhard Bauer Rolf Hennicker

Published in: DISCO (1993)

Keyphrases

image processing
artificial neural networks
bayesian networks
pattern recognition
higher order
data sets
neural network
genetic algorithm
signal processing
infrared
high resolution images
algebraic geometry