System Description: SPASS-FD.

Matthias Horbach

Published in: CADE (2011)

Keyphrases

high level
theorem prover
machine learning
real time
data sets
information retrieval
genetic algorithm
information systems
face recognition
multiscale
cooperative
pattern recognition
computer science
probability distribution
content description