The Matrix Reproved (Verification Pearl).
Martin ClochardLéon GondelmanMário PereiraPublished in: VSTTE (2016)
Keyphrases
- causal models
- singular values
- face verification
- model checking
- real time
- linear algebra
- singular value decomposition
- covariance matrix
- computer vision
- neural network
- databases
- database
- low rank
- learning algorithm
- belief change
- formal analysis
- hopfield neural network
- person identification
- sparse matrix
- verification method
- functional verification