xi

This paper presents a SVM classification method based on cluster boundary sampling and sample pruning. We actively explore an effective solution to solve the difficult problem of imbalanced data set classification from data re-sampling and algorithm improving. Firstly, we creatively propose the method of cluster boundary sampling, using the clustering density threshold and the boundary density ...

Re nement checking is used to verify implementations against more abstract speci cations. Assume-guarantee reasoning is used to decompose re nement proofs in order to avoid state-space explosion. In previous approaches, speci cations are forced to operate on the same time scale as the implementation. This may lead to unnatural speci cations and ine ciencies in veri cation. We introduce a novel ...