Login / Signup
A Step-Indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces.
Jan Schwinghammer
Lars Birkedal
Kristian Støvring
Published in:
FoSSaCS (2011)
Keyphrases
</>
metric space
hidden state
probabilistic model
statistical model
closed form
probability measures
similarity measure
similarity search
neural network
reinforcement learning
hidden markov models
graphical models
conditional random fields
markov models