Automatic Theorem-Proving in Combinatorics on Words.

Daniel Goc Dane Henshall Jeffrey O. Shallit

Published in: Int. J. Found. Comput. Sci. (2013)

Keyphrases

automatic theorem proving
n gram
word sense disambiguation
related words
multiword
keywords
graph theory
linguistic knowledge
data mining
knowledge base
information systems
probabilistic model
machine learning
data sets
word recognition
word pairs
real world
text recognition
word spotting
english words
neural network