Proof of Retrievability for Image Data in Industrial Cloud Platform.

Guangchen Yu Juan Ma Ji Wang

Published in: CIAT (2020)

Keyphrases

image data
cloud platform
cloud computing
industrial applications
image database
range data
image quality
prior art
industrial environment
input data
image content
data integrity
theorem prover
theorem proving
technology transfer
linear logic
industrial processes
ground truth labels