Characterizing Model Completeness Among Mutually Algebraic Structures.
Michael C. LaskowskiPublished in: Notre Dame J. Formal Log. (2015)
Keyphrases
- mathematical model
- experimental data
- statistical model
- probabilistic model
- computational model
- closed form
- theoretical framework
- parameter estimation
- network model
- prediction model
- real time
- theoretical analysis
- artificial neural networks
- objective function
- similarity measure
- decision making
- genetic algorithm
- data sets