System FR as Foundations for Stainless.

Jad Hamza Nicolas Voirol Viktor Kuncak

Published in: CoRR (2019)

Keyphrases

artificial intelligence
databases
face recognition
data mining
computer vision
decision support system