Formal Verification of an Industrial Distributed Algorithm: An Experience Report.
Nikolai KosmatovDelphine LonguetRomain SoulatPublished in: ISoLA (1) (2020)
Keyphrases
- formal verification
- optimization algorithm
- computational complexity
- preprocessing
- segmentation algorithm
- optimal solution
- computational cost
- cost function
- experimental evaluation
- detection algorithm
- dynamic programming
- expectation maximization
- np hard
- high accuracy
- k means
- image segmentation
- neural network
- significant improvement
- rough sets
- peer to peer
- objective function
- artificial intelligence
- rough set theory
- convergence rate
- learning algorithm