Proof Systems for Reasoning about Computation Errors.

Arnon Avron Beata Konikowska

Published in: Stud Logica (2009)

Keyphrases

data sets
computer systems
complete axiomatization
neural network
search algorithm
management system
intelligent systems
computing systems
information retrieval
image processing
database systems
artificial neural networks
learning systems
prediction error