On Symmetries and Spotlights - Verifying Parameterised Systems.

Nils Timm Heike Wehrheim

Published in: ICFEM (2010)

Keyphrases

information systems
database
intelligent systems
distributed systems
video sequences
systems require
model checking
retrieval systems
complex systems
learning systems
expert systems
multiscale
multimedia
image processing
feature selection
neural network
real time