Alternative Aggregates in Mizar.

Gilbert Lee Piotr Rudnicki

Published in: Calculemus/MKM (2007)

Keyphrases

neural network
data streams
computer assisted
data sets
information retrieval
feature selection
multimedia
decision trees
multiscale
reinforcement learning
objective function
multiresolution
management system
logic programs