Login / Signup
All Linear-Time Congruences for Familiar Operators Part 2: Infinite LTSs.
Antti Valmari
Published in:
CONCUR (2012)
Keyphrases
</>
morphological operators
search engine
feature selection
data sets
neural network
special case
worst case
mathematical morphology
finite dimensional
linear arithmetic constraints