Sigma-labeled calculus.

Tetsuya Mizutani Shigeru Igarashi Masayuki Shio Yasuwo Ikeda

Published in: Frontiers Comput. Sci. China (2008)

Keyphrases

training data
supervised learning
manual labeling
evolutionary algorithm
text categorization
real numbers
manually labeled
sequent calculus