Intermittent Computing with Peripherals, Formally Verified.

Gautier Berthou Pierre-Évariste Dagand Delphine Demange Rémi Oudin Tanguy Risset

Published in: LCTES (2020)

Keyphrases

neural network
low power
cooperative
image retrieval
pairwise
feature space
database
high speed
low cost
special case
multiresolution
image analysis
data mining
support vector
objective function
high quality
web services
computer vision
artificial intelligence