Generalising KAT to Verify Weighted Computations.

Leandro Gomes Alexandre Madeira Luís Soares Barbosa

Published in: Sci. Ann. Comput. Sci. (2019)

Keyphrases

real time
neural network
similarity measure
artificial neural networks
data sets
databases
artificial intelligence
information systems
website
learning environment
support vector
feature space
medical images
weighted distance