Login / Signup
Generation and Validation of Frame Conditions in Formal Models.
Philipp Niemann
Nils Przigoda
Robert Wille
Rolf Drechsler
Published in:
MODELSWARD (Revised Selected Papers) (2018)
Keyphrases
</>
formal models
rule based systems
formal model
sufficient conditions
process model
video frames
neural network
data sets
computer vision
face recognition
knowledge representation
social networks
real time
information retrieval
frame rate
environmental conditions
consecutive frames
generation process
single frame