Traversing the Schrödinger Bridge Strait: Robert Fortet's Marvelous Proof Redux.
Montacer EssidMichele PavonPublished in: J. Optim. Theory Appl. (2019)
Keyphrases
- hamilton jacobi
- heat equation
- distance transform
- wave equation
- eikonal equation
- steady state
- partial differential equations
- finite difference
- theorem prover
- scale space
- medial axis
- scale spaces
- level set method
- diffusion process
- weight matrix
- linear logic
- gaussian kernel
- multiscale
- image smoothing
- knowledge base
- reliability assessment
- neural network
- data sets
- object recognition
- heat kernel
- image brightness
- proof theory
- image segmentation
- information systems