A Dialectica-Like Interpretation of a Linear MSO on Infinite Words.

Pierre Pradic Colin Riba

Published in: FoSSaCS (2019)

Keyphrases

n gram
image interpretation
infinite dimensional
high level
closed form
finite state
finite dimensional
information retrieval
keywords
speech recognition
word sense disambiguation
linear model
linear systems
word segmentation
semantic interpretation