Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers.

Diego Manzanas Lopez Taylor T. Johnson

Published in: AISoLA (2023)

Keyphrases

empirical analysis
neural network
input image
image data
image features
single image
image segmentation
multiscale
image retrieval
theoretical analysis
image classification
image analysis
edge detection
test images
berkeley segmentation dataset
training data
low level
empirical studies
image representation
pattern recognition
image matching
high resolution
image pixels
similarity measure
segmentation algorithm
extracted features
artificial neural networks