Gravar-mail: Theoretical properties of distance distributions and novel metrics for nearest-neighbor feature selection