An automatic abstraction technique for verifying featured, parameterised systems.
Muffy CalderAlice MillerPublished in: Theor. Comput. Sci. (2008)
Keyphrases
- learning systems
- building blocks
- intelligent systems
- management system
- retrieval systems
- knowledge based systems
- high level
- data driven
- distributed systems
- low level
- complex systems
- computational intelligence
- machine learning
- user interface
- digital libraries
- similarity measure
- image segmentation
- computer vision
- artificial intelligence
- learning algorithm
- genetic algorithm