Relationship between the Verification Based Model and the Functional Dependences Model Using Program Specification.
Safeeullah SoomroAbdul BaqiPublished in: ICIC (2) (2010)
Keyphrases
- conceptual model
- statistical model
- mathematical model
- information retrieval
- prediction model
- simulation model
- probability distribution
- management system
- computational model
- bayesian framework
- cost function
- em algorithm
- object model
- real time
- parameter values
- experimental data
- theoretical analysis
- probabilistic model
- multi agent systems
- multi agent
- multiscale
- high level
- information systems
- search engine
- data sets