Keyphrases
- neural network
- pattern recognition
- tree structure
- back propagation
- artificial neural networks
- fuzzy logic
- fuzzy decision trees
- formal methods
- neural network model
- genetic algorithm
- database
- fault diagnosis
- neural nets
- feed forward
- multilayer perceptron
- index structure
- tree construction
- binary tree
- tree structures
- b tree
- theorem prover
- multi layer
- theorem proving
- fuzzy systems
- formal specification
- activation function
- learning algorithm
- hierarchical structure
- tree search
- data structure
- expert systems
- multi dimensional