Inductive Definition and Domain Theoretic Properties of Fully Abstract Models for PCF and PCF+.

Vladimir Sazonov

Published in: Log. Methods Comput. Sci. (2007)

Keyphrases

probabilistic model
real time
machine learning
information systems
domain specific
structural properties
desirable properties
domain models
neural network
multiscale
parameter estimation
domain experts
domain independent
conceptual model
inductive inference
conceptual models