A Common Frame for Formal Imagination.

Joan Casas-Roma M. Elena Rodríguez Antonia Huertas

Published in: Minds Mach. (2019)

Keyphrases

formal specification
real world
formal model
frame rate
reference frame
data mining
information systems
image processing
learning environment
relational databases
video frames
image frames
formal methods
formal analysis
temporal coherence