Refining Inductive Types

Robert Atkey Patricia Johann Neil Ghani

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

machine learning
computer vision
real world
information systems
feature selection
decision making
website
decision trees
data structure
digital libraries
artificial neural networks
rule learning