A Path-based Equivalence Checking Method for Petri Net based Models of Programs.
Soumyadip BandyopadhyayDipankar SarkarKunal BanerjeeChittaranjan A. MandalPublished in: ICSOFT-EA (2015)
Keyphrases
- synthetic data
- probabilistic model
- objective function
- high accuracy
- parameter estimation
- experimental evaluation
- support vector machine
- computationally efficient
- autoregressive
- machine learning methods
- high precision
- detection method
- neural network
- dynamic programming
- cost function
- optimization algorithm
- clustering method
- significant improvement
- color images
- mathematical model
- classification method
- prior knowledge
- evolutionary algorithm
- prediction model
- preprocessing
- predictive model