A Time Abstraction Method for Efficient Verification of Communicating Systems.
Eric VerlindTilman KolksGjalt G. de JongBill LinHugo De ManPublished in: DAC (1994)
Keyphrases
- objective function
- high precision
- computationally efficient
- high accuracy
- significant improvement
- dynamic programming
- synthetic data
- prior knowledge
- cost function
- experimental evaluation
- computational cost
- highly efficient
- optimization method
- preprocessing
- detection method
- classification method
- machine learning
- fully automatic
- high efficiency
- mathematical model
- complex systems
- error rate
- support vector machine svm
- computer systems
- medical images
- feature set
- pairwise