Equational Reasoning via Partial Reflection.

Herman Geuvers Freek Wiedijk Jan Zwanenburg

Published in: TPHOLs (2000)

Keyphrases

feature extraction
data sets
databases
neural network
computer vision
image segmentation
bayesian networks
learning environment
data streams
image registration
partial information