Verification of redecoration for infinite triangular matrices using coinduction.

Ralph Matthes Célia Picard

Published in: TYPES (2011)

Keyphrases

model checking
singular value decomposition
verification method
formal methods
covariance matrices
concurrent systems
linear complementarity problem
pairwise comparison
positive definite
signature verification
face verification
real time
support vector
image sequences
genetic algorithm
machine learning
data mining