Stubborn set methods for process algebras.
Antti ValmariPublished in: Partial Order Methods in Verification (1996)
Keyphrases
- preprocessing
- significant improvement
- computational cost
- software engineering
- empirical studies
- benchmark datasets
- qualitative and quantitative
- database
- data sets
- video sequences
- artificial neural networks
- probability distribution
- high dimensional data
- computationally expensive
- statistical methods
- parameter settings