Login / Signup
Application of verification techniques to inverse monoids.
Markus Lohrey
Published in:
Algorithmic-Logical Theory of Infinite Structures (2007)
Keyphrases
</>
three dimensional
real time
case study
image sequences
similarity measure
learning environment
association rules
mobile robot
probability distribution
key technologies