Enhancement Structures for Proving Prolog Programs Correct.

Marc Kirschenbaum Leon Sterling

Published in: ILPS (1993)

Keyphrases

prolog programs
logic programs
image enhancement
real time
logic programming
image processing
data sets
computer vision
image segmentation
knowledge representation
general purpose
image structure