Model Optimization Techniques in a Verification Platform for Classified Properties.
Ming ZhuJinian BianWeimin WuPublished in: ICESS (2004)
Keyphrases
- computational model
- probabilistic model
- real time
- formal model
- prior knowledge
- temporal properties
- statistical model
- mathematical model
- process model
- theoretical framework
- theoretical analysis
- management system
- decision trees
- web services
- feature selection
- artificial intelligence
- machine learning
- neural network
- data sets