Bisimulation Minimisations for Boolean Equation Systems.
Jeroen KeirenTim A. C. WillemsePublished in: Haifa Verification Conference (2009)
Keyphrases
- management system
- building blocks
- intelligent systems
- retrieval systems
- image sequences
- computer systems
- digital libraries
- expert systems
- computing systems
- database
- real valued
- mathematical model
- knowledge based systems
- mobile robot
- information technology
- search algorithm
- video sequences
- knowledge base
- e learning
- information systems
- machine learning
- real world
- neural network