Neural Networks for Proof-Pattern Recognition.
Ekaterina KomendantskayaKacper LichotaPublished in: ICANN (2) (2012)
Keyphrases
- pattern recognition
- neural network
- modular neural networks
- machine learning
- pattern recognition problems
- back propagation
- artificial neural networks
- computer vision
- theorem prover
- pattern analysis
- image processing
- database
- signal processing
- feed forward
- pattern classification
- neural network is trained
- linear logic
- mathematical proofs
- theorem proving
- radial basis function
- speech recognition
- dimensionality reduction
- information systems