Bounded Invariant Checking for Stateflow Programs.
Predrag FilipovikjDilian GurovMattias NybergPublished in: CoRR (2021)
Keyphrases
- databases
- quasi invariant
- automatic programming
- asymptotically optimal
- fixpoint
- face recognition
- neural network
- computer vision
- affine invariant
- database
- continuous functions
- machine learning
- information retrieval
- programming environment
- moment invariants
- computer programs
- invariant features
- information systems
- affine transformation
- image matching
- data structure
- bayesian networks
- high level
- website
- knowledge base