The Formal System λδ Revised - Stage A: Extending the Applicability Condition.

Ferruccio Guidi

Published in: CoRR (2014)

Keyphrases

sufficient conditions
data sets
real world
training stage
databases
formal specification
formal model
multiresolution
initial stages
feature extraction
database systems
image segmentation
computer vision
social networks
artificial intelligence
learning algorithm
neural network