A Modular, Extensible Proof Method for Small-Step Flow Analyses.
Mitchell WandGalen B. WilliamsonPublished in: ESOP (2002)
Keyphrases
- detection method
- cost function
- high precision
- evaluation method
- significant improvement
- experimental evaluation
- objective function
- statistical methods
- high accuracy
- classification accuracy
- matching algorithm
- detection algorithm
- post processing
- computationally efficient
- mutual information
- preprocessing
- similarity measure
- multi step
- classification method
- feature selection
- synthetic data
- optimization algorithm
- input data
- computational complexity
- optimal solution
- training data