Formally Verified Redundancy Removal.

Stefan Hendricx Luc J. M. Claesen

Published in: DATE (1999)

Keyphrases

case study
neural network
database systems
wide range
information content
social networks
high level
face recognition
multiscale
objective function
pairwise
artificial neural networks