Speculative Image Computation for Distributed Symbolic Reachability Analysis.

Ming-Ying Chung Gianfranco Ciardo

Published in: J. Log. Comput. (2011)

Keyphrases

image data
image analysis
reachability analysis
image content
input image
image features
multiscale
image segmentation
image classification
test images
image retrieval
single image
segmentation method
image pixels
region of interest
image representation
image matching
high resolution
image collections
low level
knowledge representation
feature points
peer to peer
pixel values
image registration