Extensions to the Estimation Calculus.

Jeremy Gow Alan Bundy Ian Green

Published in: LPAR (1999)

Keyphrases

real time
robust estimation
information retrieval
parameter estimation
efficient implementation
estimation algorithm
machine learning
artificial intelligence
computer vision
lower bound
estimation process
automated deduction