Computer Algebra in Spacetime Embedding.

Waldir L. Roque Renato P. dos Santos

Published in: J. Symb. Comput. (1991)

Keyphrases

computer algebra
space time
spatio temporal
video sequences
spatial and temporal
dynamic scenes
theorem prover
motion patterns
physically plausible
computer algebra systems
vector space
nonlinear dimensionality reduction
bayesian networks
light source
background subtraction