The Buridan-Volpin Derivation System; Properties and Justification.

Published in: Bull. Symb. Log. (2022)

Keyphrases

desirable properties
image processing
decision trees
structural properties
topological properties
databases
neural network
data mining
metadata
high level
image sequences
training data
multi agent
preprocessing
probability distribution
model checking