Keyphrases
- formal specification
- flow patterns
- real time
- artificial intelligence
- computer vision
- user defined
- data structure
- provably correct
- formal verification
- specification language
- flow field
- artificial neural networks
- search algorithm
- high level
- knowledge base
- decision making
- information retrieval
- data mining
- real world
- databases