Martin-Löf à la Coq.
Arthur AdjedjMeven Lennon-BertrandKenji MaillardPierre-Marie PédrotLoïc PujetPublished in: CoRR (2023)
Keyphrases
- formal methods
- theorem prover
- black and white
- computer vision
- multimedia
- three dimensional
- image enhancement
- relational databases
- co occurrence
- pattern recognition
- natural language
- video sequences
- image quality
- knowledge base
- artificial intelligence
- real time
- image registration
- hough transform
- first order logic
- multiscale
- inference rules
- metadata