Determining Whether V(A) Has a Model Companion is Undecidable.

Published in: Int. J. Algebra Comput. (2004)

Keyphrases

computational model
probabilistic model
high level
experimental data
real time
objective function
formal model
np hard
input data
em algorithm
parameter estimation
parameter values