Verification of Causality in the Frame System based on the Topological Functioning Modelling.
Vladislavs NazaruksJanis OsisPublished in: ENASE (2018)
Keyphrases
- causal reasoning
- neural network
- model checking
- causal inference
- topological properties
- frame rate
- directional relations
- topological spaces
- verification method
- signature verification
- image frames
- video frames
- case study
- face verification
- qualitative models
- computational complexity
- multiscale
- formal verification
- topological map
- knowledge base
- computer vision
- data mining
- data sets