Proving Skipping Refinement with ACL2s.

Mitesh Jain Panagiotis Manolios

Published in: ACL2 (2015)

Keyphrases

natural language learning
refinement process
database
data sets
neural network
social networks
feature selection
digital libraries
preprocessing
multiresolution