Unification Theory.

Published in: IWWERT (1990)

Keyphrases

real time
theoretical framework
equational theories
formal theory
computer vision
multimedia
general theory
probabilistic model
belief functions
theorem prover
information theory
higher order
hidden markov models
artificial neural networks
digital libraries
cooperative
genetic algorithm
neural network