Telescope guidance via automatic theorem proving.

Evgeny A. Cherkashin Stanislav N. Vassilyev

Published in: SMC (1998)

Keyphrases

automatic theorem proving
viewpoint
computational complexity
objective function
input image
information extraction
probabilistic model
color images
feature space
data sets
bayesian networks
feature extraction
information systems
computer vision
information retrieval
data mining
databases