Martin-Löf à la Coq.
Arthur AdjedjMeven Lennon-BertrandKenji MaillardPierre-Marie PédrotLoïc PujetPublished in: CPP (2024)
Keyphrases
- formal methods
- theorem prover
- black and white
- artificial intelligence
- high quality
- image processing
- machine learning
- knowledge base
- signal processing
- bayesian networks
- probabilistic model
- wavelet transform
- motion estimation
- medical images
- open source
- image segmentation
- image sequences
- knowledge representation
- design process
- query processing
- database systems