Some applications of model theory to the metatheory of program schemata.
Richard A. DeMilloPublished in: Notre Dame J. Formal Log. (1977)
Keyphrases
- theoretical framework
- computational model
- formal model
- management system
- experimental data
- mathematical model
- probabilistic model
- data mining
- probability distribution
- information systems
- evolutionary algorithm
- objective function
- maximum likelihood
- em algorithm
- image sequences
- database systems
- statistical model
- genetic algorithm
- sensitivity analysis
- neural network
- mathematical models