Weakest precondition based verification tool that models spatial ordering.
Anup Kumar BandyopadhyayPublished in: ACM SIGSOFT Softw. Eng. Notes (2008)
Keyphrases
- multi agent
- multi agent systems
- machine learning algorithms
- data mining
- database
- spatial information
- probabilistic model
- spatio temporal
- spatial relationships
- data structure
- computer vision
- neural network
- software tools
- computational models
- bayesian framework
- conceptual model
- parametric models
- statistical models
- model checking
- parameter estimation
- model selection
- data model
- data analysis
- information systems
- databases