Enhancement of Mizar Texts with Transitivity Property of Predicates.

Artur Kornilowicz

Published in: CICM (2016)

Keyphrases

computer assisted
user defined
database
image processing
data sets
databases
keywords
co occurrence
image enhancement
desirable properties
image sequences
natural language
image analysis