Inclusion problem in algebraic models of programs with constants.

Rimma I. Podlovchenko Dmitry M. Rusakov

Published in: Program. Comput. Softw. (2007)

Keyphrases

probabilistic model
complex systems
data sets
model selection
statistical model
statistical models
real world
computer vision
decision trees
higher order
parametric models
finite state machines
website
prior knowledge
process model
computer programs