Probabilistic Verification of Elementary Geometry Statements.
Giuseppa Carrà FerroGiovanni GalloRosario GennaroPublished in: Automated Deduction in Geometry (1996)
Keyphrases
- probabilistic model
- three dimensional
- formal verification
- bayesian networks
- uncertain data
- generative model
- model checking
- artificial intelligence
- information theoretic
- false acceptance rate
- database
- probabilistic approaches
- face verification
- context sensitive
- natural language
- similarity measure
- face recognition
- case study
- information retrieval