Explanation from Specification.

Harish Naik György Turán

Published in: CoRR (2020)

Keyphrases

high level
neural network
formal specification
specification language
computer vision
reactive systems
generating explanations
database
real world
learning algorithm
information systems
case study
three dimensional
relational databases
data model
probabilistic model