Statistical Proof-Patterns in Coq/SSReflect
Jónathan HerasEkaterina KomendantskayaPublished in: CoRR (2013)
Keyphrases
- theorem prover
- frequent patterns
- data mining techniques
- statistical analysis
- statistical measures
- data driven
- similar patterns
- databases
- emerging patterns
- statistical data
- statistical information
- pattern mining
- image sequences
- search engine
- information retrieval
- search algorithm
- information theoretic
- bayesian networks
- statistical methods
- pattern analysis
- knowledge base
- statistical inference
- computer vision
- statistical approaches
- neural network