Reasoning about Action Systems using the B-Method.
Marina WaldénKaisa SerePublished in: Formal Methods Syst. Des. (1998)
Keyphrases
- detection method
- experimental evaluation
- high accuracy
- objective function
- prior knowledge
- significant improvement
- cost function
- theoretical analysis
- management system
- mutual information
- optimization method
- genetic algorithm
- high precision
- classification method
- complex systems
- distributed systems
- dynamic programming
- classification accuracy
- clustering method
- probabilistic model
- segmentation method
- pairwise
- preprocessing
- multiscale