Invariants for Parameterised Boolean Equation Systems.

Simona Orzan Tim A. C. Willemse

Published in: Theor. Comput. Sci. (2010)

Keyphrases

expert systems
mathematical model
databases
information systems
intelligent systems
real valued
biological systems
neural network
data mining
computer vision
multiscale
data structure
mobile robot
learning systems