Algebraic Specifications with Generating Constraints.
Hartmut EhrigEric G. WagnerJames W. ThatcherPublished in: ICALP (1983)
Keyphrases
- neural network
- data mining
- artificial intelligence
- linear constraints
- global constraints
- temporal logic
- multiple constraints
- real time
- functional requirements
- formal specification
- object oriented
- natural language
- video sequences
- image sequences
- high level
- decision trees
- information systems
- computer vision
- machine learning