A Calculus of Space, Time, and Causality: Its Algebra, Geometry, Logic.
Tony HoareGeorg StruthJim WoodcockPublished in: UTP (2019)
Keyphrases
- space time
- algebraic structure
- relation algebra
- spatio temporal
- spatial and temporal
- video sequences
- boolean algebra
- set theory
- computer algebra
- formal language
- natural deduction
- three dimensional
- dynamic scenes
- proof procedure
- video representation
- relational algebra
- expressive power
- human actions
- multiple view geometry
- super resolution reconstruction
- sequent calculus
- scan statistic
- causal reasoning
- real numbers
- input video
- logic programming
- temporal resolution
- first order logic
- video data
- data model
- image sequences