Accuate simplification of large symbolic formulae.

Francisco V. Fernández Ángel Rodríguez-Vázquez J. D. Martín José L. Huertas

Published in: ICCAD (1992)

Keyphrases

preprocessing
multiresolution
real world
symbolic representation
neural learning
symbolic description
neural network
intermediate level
connectionist models
video sequences
mobile robot
symbolic data