Describir: Formal implementation of a performance evaluation model for the face recognition system.