Program Equivalence Using Neural Networks.
Tiago M. NascimentoCharles B. PradoDavidson R. BoccardoLuiz F. R. C. CarmoRaphael C. S. MachadoPublished in: BIONETICS (2010)
Keyphrases
- neural network
- pattern recognition
- back propagation
- databases
- neural network model
- computer vision
- test cases
- multilayer perceptron
- static analysis
- rule extraction
- case study
- multiscale
- artificial neural networks
- logic programs
- information retrieval
- fault diagnosis
- data sets
- training process
- training algorithm
- activation function
- programming environment