Checking interval properties of computations.

Alberto Molinari Angelo Montanari Aniello Murano Giuseppe Perelli Adriano Peron

Published in: Acta Informatica (2016)

Keyphrases

desirable properties
real time
image processing
neural network
information retrieval
genetic algorithm
learning algorithm
learning environment
support vector
medical images
sufficient conditions
topological properties
key properties