A Uniform Approach for Specification and Design of Interactive Systems: the B Method.
Yamine Aït AmeurPatrick GirardFrancis JambonPublished in: DSV-IS (2) (1998)
Keyphrases
- interactive systems
- detection method
- computational cost
- experimental evaluation
- pairwise
- expert systems
- clustering method
- similarity measure
- high precision
- prior knowledge
- dynamic programming
- objective function
- classification accuracy
- high accuracy
- detection algorithm
- user interface
- neural network
- object oriented
- synthetic data
- case study