Automatic Generation of Symbolic Model for Parameterized Synchronous Systems.
Wei-Wen XuPublished in: J. Comput. Sci. Technol. (2004)
Keyphrases
- management system
- probabilistic model
- computational model
- high level
- mathematical model
- formal model
- intelligent systems
- probability distribution
- simulation model
- statistical model
- real time
- objective function
- cost function
- prior knowledge
- em algorithm
- parameter estimation
- decision trees
- knowledge base
- computer vision
- neural network model
- computational models
- search engine
- neural network