Counting Paths: Nondeterminism as Linear Algebra.

David B. Benson

Published in: IEEE Trans. Software Eng. (1984)

Keyphrases

linear algebra
singular value decomposition
image processing
computer architecture
situation calculus
sparse matrices
image segmentation
feature extraction
multiscale