Keyphrases
- hamilton jacobi
- heat equation
- distance transform
- wave equation
- eikonal equation
- expressive power
- finite difference
- modal logic
- medial axis
- partial differential equations
- scale space
- level set method
- steady state
- inference rules
- classical logic
- scale spaces
- propositional calculus
- diffusion process
- fourier transform
- proof theory
- gaussian kernel
- gaussian scale space
- first order logic
- image smoothing
- image processing
- default logic
- propositional dynamic logic