A Joint Development of Coloured Petri Nets and the B Method in Critical Systems.
Pengfei SunPhilippe BonSimon Collart DutilleulPublished in: J. Univers. Comput. Sci. (2015)
Keyphrases
- cost function
- high accuracy
- computational cost
- detection method
- objective function
- evaluation method
- high precision
- dynamic programming
- classification method
- similarity measure
- pairwise
- experimental evaluation
- theoretical analysis
- management system
- synthetic data
- clustering method
- optimization algorithm
- image registration
- information retrieval
- image segmentation
- information systems
- learning algorithm