Automatic Theorem-Proving in Combinatorics on Words.
Daniel GocDane HenshallJeffrey O. ShallitPublished in: CIAA (2012)
Keyphrases
- automatic theorem proving
- keywords
- word sense disambiguation
- n gram
- graph theory
- information retrieval
- text documents
- word meaning
- multiword
- related words
- text recognition
- text corpus
- syntactic categories
- english words
- word spotting
- unknown words
- short text
- word recognition
- document representation
- artificial intelligence