Statistical Proof Pattern Recognition: Automated or Interactive?
Jónathan HerasEkaterina KomendantskayaPublished in: CoRR (2013)
Keyphrases
- pattern recognition
- statistical analysis
- signal processing
- neural network
- semi automated
- data driven
- information theoretic
- statistical approaches
- automated analysis
- statistical methods
- virtual reality
- feature extraction
- image processing
- pattern recognition problems
- automated theorem provers
- statistical information
- theorem prover
- statistical models
- user interaction
- dimensionality reduction
- computer assisted
- computer aided
- fully automated
- support vector machine svm
- pattern analysis
- fuzzy sets
- computer vision
- interactive systems
- social networks
- search engine