On the orbit-stabilizer problem for integral matrix actions of polycyclic groups.

Bettina Eick Gretchen Ostheimer

Published in: Math. Comput. (2003)

Keyphrases

square matrices
singular value decomposition
plan recognition
low rank
data sets
reasoning about actions
linear algebra
decision theoretic
covariance matrix
sufficient conditions
real time
human actions
situation calculus
human activities
goal directed
user groups
state transitions
pairwise
symmetric matrices