A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.
Andrew KayJoy N. ReedPublished in: IEEE Trans. Software Eng. (1993)
Keyphrases
- experimental evaluation
- decomposition method
- high precision
- support vector machine svm
- high accuracy
- significant improvement
- neural network
- classification accuracy
- pairwise
- objective function
- high level
- case study
- support vector
- cost function
- multiscale
- computational cost
- similarity measure
- support vector machine
- edge detection
- constraint satisfaction problems
- genetic algorithm
- data sets