A Formal Method to Prove Ordering Properties of Multicast Systems.
Christian ToinardGerard FlorinChristian CarrezPublished in: ACM SIGOPS Oper. Syst. Rev. (1999)
Keyphrases
- experimental evaluation
- high precision
- synthetic data
- pairwise
- computationally efficient
- dynamic programming
- high accuracy
- management system
- classification method
- segmentation method
- detection algorithm
- classification accuracy
- prior knowledge
- multiscale
- similarity measure
- genetic algorithm
- input data
- optimization algorithm
- preprocessing
- clustering method
- detection method
- video sequences
- image segmentation