A Compositional Method for Deciding Equivalence and Termination of Nondeterministic Programs.
Aleksandar S. DimovskiPublished in: IFM (2010)
Keyphrases
- high precision
- experimental evaluation
- high accuracy
- computational cost
- main contribution
- detection method
- synthetic data
- finite automata
- similarity measure
- objective function
- dynamic programming
- classification method
- mutual information
- optimization method
- segmentation method
- theoretical analysis
- neural network
- cost function
- significant improvement
- image processing