Proofs of two Theorems concerning Sparse Spacetime Constraints.

Christian Schulz Christoph von Tycowicz Hans-Peter Seidel Klaus Hildebrandt

Published in: CoRR (2014)

Keyphrases

space time
video sequences
spatial and temporal
high dimensional
spatio temporal
viewpoint
sequent calculus
constraint satisfaction
motion patterns
linear constraints
image sequences
optimal solution
inference rules
theorem prover
cut elimination