Invariants, Well-Founded Statements and Real-Time Program Algebra.

Ian J. Hayes Larissa Meinicke

Published in: FM (2014)

Keyphrases

real time
imperative programs
low cost
vision system
relational algebra
natural language
data model
control system
query language
computer programs
pose estimation
algebraic expressions
algebraic geometry
algebraic structure
real time systems
moment invariants
general purpose
neural network