Login / Signup
The provably terminating operations of the subsystem PETJ of explicit mathematics.
Dieter Probst
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