Reasoning about Abstract State Machines: The WAM Case Study.
Gerhard SchellhornWolfgang AhrendtPublished in: J. Univers. Comput. Sci. (1997)
Keyphrases
- case study
- lessons learned
- formal theory
- qualitative reasoning
- real world
- spatial reasoning
- open source
- knowledge management
- development process
- neural network
- video sequences
- search algorithm
- natural language
- expert systems
- relational databases
- hidden markov models
- software development
- business process
- metadata
- dynamic systems
- machine learning