Negative Operations on Proofs and Labels.

Tatiana Yavorskaya

Published in: J. Log. Comput. (2005)

Keyphrases

positive and negative
theorem prover
theorem proving
class labels
real time
image segmentation
training data
multi class
neural network
clustering algorithm
data structure
pairwise
graph cuts
training examples
image labeling
formal proofs