All Linear-Time Congruences for Finite LTSs and Familiar Operators.

Published in: ACSD (2012)

Keyphrases

worst case
morphological operators
unit length
databases
neural network
machine learning
learning algorithm
artificial intelligence
decision making
website
similarity measure
relational databases
finite number
finite automata
control structures