Login / Signup
On the Complexity of Termination Inference for Processes.
Romain Demangeon
Daniel Hirschkoff
Naoki Kobayashi
Davide Sangiorgi
Published in:
TGC (2007)
Keyphrases
</>
computational complexity
worst case
inference engine
neural network
case study
bayesian networks
random fields
inference mechanism
database
data sets
database systems
hidden markov models
knowledge representation
computational models
space complexity
inference process