Variational correctness-by-construction.

Tabea Bordis Tobias Runge Alexander Knüppel Thomas Thüm Ina Schaefer

Published in: VaMoS (2020)

Keyphrases

image segmentation
construction process
databases
optical flow
free energy
case study
three dimensional
database
data sets
metadata
data structure
expert systems