The provably terminating operations of the subsystem PETJ of explicit mathematics.

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

computer science
bayesian networks
computer vision
databases
real world
machine learning
image segmentation
high level
similarity measure
learning environment
digital libraries
special case
wireless sensor networks
learning styles
boolean operations