Statistical Constraints and Verification.
John KnapmanPublished in: Object Modeling with the OCL (2002)
Keyphrases
- information theoretic
- statistical information
- information systems
- constraint programming
- model checking
- mixed integer
- face verification
- artificial intelligence
- statistical models
- data driven
- statistical analysis
- pairwise
- formal verification
- verification method
- constraint satisfaction
- information retrieval
- statistical data
- constrained optimization