Unifying Graded Linear Logic and Differential Operators.
Flavien BreuvartMarie KerjeanSimon MirwasserPublished in: CoRR (2024)
Keyphrases
- linear logic
- differential operators
- vector field
- partial differential equations
- fixed point
- multiscale
- cut elimination
- logic programming
- desirable properties
- multiple scales
- logical framework
- scale space
- feature detectors
- zero crossing
- diffusion tensor
- gaussian derivatives
- image enhancement
- inference rules
- computer vision
- higher order
- image analysis