On Trace Assertion Method of Module Interface Specification with Concurrency.
Ryszard JanickiYan LiuPublished in: Rough Sets and Current Trends in Computing (2000)
Keyphrases
- high accuracy
- synthetic data
- theoretical analysis
- database
- preprocessing
- cost function
- computational cost
- classification accuracy
- computationally efficient
- multiscale
- significant improvement
- experimental evaluation
- support vector machine
- detection method
- clustering method
- main contribution
- probabilistic model
- feature set
- semi supervised
- dynamic programming
- user interface
- training data
- machine learning
- neural network