The Unconstrained Ear Recognition Challenge
Authors:
Žiga Emeršič,
Dejan Štepec,
Vitomir Štruc,
Peter Peer,
Anjith George,
Adil Ahmad,
Elshibani Omar,
Terrance E. Boult,
Reza Safdari,
Yuxiang Zhou,
Stefanos Zafeiriou,
Dogucan Yaman,
Fevziye I. Eyiokur,
Hazim K. Ekenel
Abstract:
In this paper we present the results of the Unconstrained Ear Recognition Challenge (UERC), a group benchmarking effort centered around the problem of person recognition from ear images captured in uncontrolled conditions. The goal of the challenge was to assess the performance of existing ear recognition techniques on a challenging large-scale dataset and identify open problems that need to be ad…
▽ More
In this paper we present the results of the Unconstrained Ear Recognition Challenge (UERC), a group benchmarking effort centered around the problem of person recognition from ear images captured in uncontrolled conditions. The goal of the challenge was to assess the performance of existing ear recognition techniques on a challenging large-scale dataset and identify open problems that need to be addressed in the future. Five groups from three continents participated in the challenge and contributed six ear recognition techniques for the evaluation, while multiple baselines were made available for the challenge by the UERC organizers. A comprehensive analysis was conducted with all participating approaches addressing essential research questions pertaining to the sensitivity of the technology to head rotation, flip**, gallery size, large-scale recognition and others. The top performer of the UERC was found to ensure robust performance on a smaller part of the dataset (with 180 subjects) regardless of image characteristics, but still exhibited a significant performance drop when the entire dataset comprising 3,704 subjects was used for testing.
△ Less
Submitted 1 February, 2019; v1 submitted 23 August, 2017;
originally announced August 2017.
A Rewriting View of Simple Ty**
Authors:
Aaron Stump,
Garrin Kimmell,
Hans Zantema,
Ruba El Haj Omar
Abstract:
This paper shows how a recently developed view of ty** as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective. We show how standard meta-theoretic results can be proved in a completely new way, using the rewriting view of simple ty**. These meta-theoretic results include standard type prese…
▽ More
This paper shows how a recently developed view of ty** as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective. We show how standard meta-theoretic results can be proved in a completely new way, using the rewriting view of simple ty**. These meta-theoretic results include standard type preservation and progress properties for simply typed lambda calculus, as well as generalized versions where ty** is taken to include both abstract and concrete reduction. We show how automated analysis tools developed in the term-rewriting community can be used to help automate the proofs for this meta-theory. Finally, we show how to adapt a standard proof of normalization of simply typed lambda calculus, for the rewriting approach to ty**.
△ Less
Submitted 26 February, 2013; v1 submitted 5 November, 2012;
originally announced November 2012.