Isabelle Theories for Machine Words.

Jeremy E. Dawson

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

Keyphrases

n gram
keywords
theorem prover
genetic algorithm
text classification
theoretical framework
text documents
related words
syntactic categories
neural network
word segmentation
word recognition
cognitive psychology
proper nouns
case study
bayesian networks