The Coarsest Precongruences Respecting Safety and Liveness Properties

Rob J. van Glabbeek

Published in: CoRR (2010)

Keyphrases

multiresolution
real time
databases
artificial intelligence
neural network
information retrieval
three dimensional
wide range
object recognition
artificial neural networks
desirable properties
key properties