A Framework for Formalization and Strictness Analysis of Simulation Event Orderings.
Yong Meng TeoBhakti S. S. OnggoPublished in: Simul. (2005)
Keyphrases
- event detection
- logical framework
- analysis tool
- artificial intelligence
- main contribution
- databases
- mathematical analysis
- formal model
- neural network
- data analysis
- bayesian framework
- conceptual framework
- database
- mobile robot
- probabilistic model
- feature selection
- social networks
- complexity analysis
- formal analysis
- information retrieval
- numerical analysis