A constructive proof of the existence of Viterbi processes

Jüri Lember Alexey A. Koloydenko

Published in: CoRR (2008)

Keyphrases

hidden markov models
process model
database
databases
computer vision
website
three dimensional
theorem prover
linear logic
image sequences
multi agent
expert systems
communication channels
viterbi algorithm