Newtonian Arbiters Cannot be Proven Correct.

Michael Mendler Terry Stroup

Published in: Formal Methods Syst. Des. (1993)

Keyphrases

artificial intelligence
high quality
bayesian networks
object recognition
high resolution
domain knowledge
image features