Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems.

Richard Schmoetten Jake E. Palmer Jacques D. Fleuriot

Published in: CoRR (2022)

Keyphrases

space time
spatio temporal
spatial and temporal
video sequences
dynamic scenes
motion patterns
first order logic
knowledge base
physically plausible
knn
geometric structure
structured light
distance transform
geometric information
geometric constraints
distance metric
video data
viewpoint
neural network