A Simplified Account of the Metatheory of Linear LF.

Joseph Vanderwaart Karl Crary

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

genetic algorithm
case study
data mining
learning algorithm
artificial intelligence
high dimensional