Visibly Pushdown Transducers with Look-Ahead.

Emmanuel Filiot Frédéric Servais

Published in: SOFSEM (2012)

Keyphrases

finite automata
model checking
tree search
finite state automata
database
training data
data analysis
pairwise
upper bound
nearest neighbor
information retrieval systems