Login / Signup
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence.
Abha Moitra
Paul Cuddihy
Kit Siu
David W. Archer
Eric Mertens
Daniel Russell
Kevin Quick
Valentin Robert
Baoluo Meng
Published in:
SAFECOMP Workshops (2023)
Keyphrases
</>
empirical data
computational model
probabilistic model
management system
mathematical model
prediction model
objective function
cost function
semantic annotation
co occurrence
semantic constraints
formal model
experimental data
database
machine learning
neural network
data sets