Linear Algebra and Sets Theory (LAST)-based Formal Modeling for IS Client-Specification.

Luis Gonzalez Cesar Ruiz

Published in: PACIS (2000)

Keyphrases

linear algebra
singular value decomposition
formal methods
image processing
computer architecture
formal specification
reactive systems
condition number
pattern recognition
data analysis