From Coinductive Proofs to Exact Real Arithmetic.

Published in: CSL (2009)

Keyphrases

real life
real time
decision making
bayesian networks
computer vision
multimedia
video sequences
probability distribution
constraint propagation
brute force
exact and approximate