Ramified Recurrence with Dependent Types.

Published in: TLCA (2001)

Keyphrases

data mining
data sets
neural network
database
computer vision
information systems
reinforcement learning
varying degrees