Model Theory in Computer Science: My Own Recurrent Themes.
Johann A. MakowskyPublished in: CSL (2011)
Keyphrases
- high level
- formal model
- mathematical model
- theoretical framework
- computer science
- probabilistic model
- computational model
- management system
- conceptual framework
- statistical physics
- cost function
- artificial intelligence
- parameter estimation
- prior knowledge
- video sequences
- objective function
- experimental data
- conceptual model
- image segmentation
- neural network