The Quotient Operation on Input-Driven Pushdown Automata.

Alexander Okhotin Kai Salomaa

Published in: DCFS (2017)

Keyphrases

data driven
machine intelligence
database
artificial intelligence
model checking
finite state
feature vectors
hidden markov models
input data
user input