A formal method to detect possible P4 specific errors.
Gabriella TóthMáté TejfelPublished in: FedCSIS (Position Papers) (2019)
Keyphrases
- detection method
- main contribution
- cost function
- high level
- preprocessing
- clustering method
- experimental evaluation
- neural network
- synthetic data
- error rate
- high accuracy
- computational cost
- significant improvement
- pairwise
- objective function
- machine learning
- dynamic programming
- probabilistic model
- theoretical analysis
- evolutionary algorithm
- detection algorithm
- data sets
- segmentation method
- high precision
- evaluation method