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