The Bisimulation Proof Method: Enhancements and Open Problems.
Davide SangiorgiPublished in: FMOODS (2006)
Keyphrases
- open problems
- high precision
- computational complexity
- computationally efficient
- experimental evaluation
- high accuracy
- pairwise
- significant improvement
- classification accuracy
- segmentation method
- clustering method
- optimization algorithm
- distributed systems
- knn
- database
- probabilistic model
- k means
- similarity measure
- image segmentation
- information retrieval