Login / Signup
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces.
Lars Birkedal
Jan Schwinghammer
Kristian Støvring
Published in:
FICS (2010)
Keyphrases
</>
hidden state
statistical model
hidden markov models
markov models
probabilistic model
input data
markov model