Invariants for Parameterised Boolean Equation Systems.

Simona Orzan Tim A. C. Willemse

Published in: CONCUR (2008)

Keyphrases

pattern recognition
computer systems
computing systems
image processing
management system
real time
real world
data mining
multimedia
knowledge based systems
complex systems
retrieval systems