Keyphrases
- artificial neural network models
- logistic regression
- real estate
- model checking
- multi layer perceptron
- support vector regression
- formal methods
- loss function
- face verification
- decision trees
- verification method
- knowledge discovery
- case study
- real time
- formal analysis
- signature verification
- formal verification
- neural network