A Certificate-Based Approach to Formally Verified Approximations.

Florent Bréhard Assia Mahboubi Damien Pous

Published in: ITP (2019)

Keyphrases

computer vision
database
real time
machine learning
decision making
knowledge base
face recognition
search algorithm