Mechanical Proving with Walnut for Squares and Cubes in Partial Words.

Published in: CPM (2022)

Keyphrases

n gram
word meaning
proper nouns
query language
word segmentation
syntactic categories
real time
mechanical design
text recognition
related words
multiword
word recognition
partial information
text documents
information extraction
artificial intelligence
data mining
neural network