Login / Signup
SWITSS: Computing Small Witnessing Subsystems.
Simon Jantsch
Hans Harder
Florian Funke
Christel Baier
Published in:
CoRR (2020)
Keyphrases
</>
real time
computer vision
three dimensional
bayesian networks
small number
database
neural network
decision trees
high quality
pattern recognition
digital libraries
efficient computation