Verification of qualitative Z constraints.
Stéphane DemriRégis GasconPublished in: Theor. Comput. Sci. (2008)
Keyphrases
- quantitative and qualitative
- qualitative and quantitative
- multiple constraints
- qualitative reasoning
- constraint satisfaction
- model checking
- formal verification
- objective function
- knowledge base
- computer vision
- machine learning
- constraint networks
- resource constraints
- face verification
- databases
- consistency checking
- qualitative simulation
- cardinal directions
- database