Slicing Execution with Partial Weakest Precondition for Model Abstraction of C Programs.
Xuejun YangJi WangXiaodong YiPublished in: Comput. J. (2010)
Keyphrases
- statistical model
- high level
- neural network
- experimental data
- computational model
- evolutionary algorithm
- expert systems
- partial information
- conceptual model
- mathematical model
- parameter estimation
- cost function
- database
- reinforcement learning
- multiscale
- similarity measure
- information retrieval
- machine learning
- data sets
- real time