An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping.
Gary T. LeavensDavid A. NaumannPublished in: SETSS (2017)
Keyphrases
- computational model
- high level
- theoretical framework
- formal model
- theoretical foundation
- probabilistic model
- neural network
- object model
- cost function
- experimental data
- feature selection
- data mining
- behavioral model
- computational models
- prediction model
- mathematical framework
- bayesian framework
- statistical model
- input data
- management system
- probability distribution
- prior knowledge
- artificial neural networks
- image segmentation
- website