DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.
Colin PatersonHaoze WuJohn GreseRadu CalinescuCorina S. PasareanuClark W. BarrettPublished in: SAFECOMP (2021)
Keyphrases
- neural network
- image retrieval
- multiscale
- image analysis
- input image
- image pixels
- image classification
- image regions
- single image
- edge detection
- template matching
- image data
- image segmentation
- feature points
- image representation
- support vector
- training data
- image content
- image collections
- region of interest
- image transformations
- decision trees
- labeled images
- nearest neighbour
- classifier training
- image set
- test images
- artificial neural networks
- neural network model
- segmentation method
- segmentation algorithm
- feature values
- high resolution
- similarity measure