Keyphrases
- artificial intelligence
- high level
- transition systems
- genetic algorithm
- specification language
- formal methods
- formal specification
- conceptual model
- database
- multiscale
- provably correct
- medical images
- query language
- learning environment
- data structure
- image sequences
- decision trees
- decision making
- information systems
- neural network
- databases