A Note on Complexity Measures for Inductive Classes in Constructive Type Theory.

Robert L. Constable

Published in: Inf. Comput. (1998)

Keyphrases

complexity measures
nearest neighbor classifier
lower bound
data mining
decision making
reinforcement learning
unsupervised learning