A machine-checked model of safe composition.
Benjamin DelawareWilliam R. CookDon S. BatoryPublished in: FOAL (2009)
Keyphrases
- probabilistic model
- mathematical model
- objective function
- cost function
- statistical model
- experimental data
- prior knowledge
- databases
- management system
- linear model
- network model
- closed form
- theoretical framework
- parameter estimation
- theoretical analysis
- probability distribution
- image sequences
- website
- data mining
- neural network