Theoretical Analysis of Diversity in an Ensemble of Automatic Speech Recognition Systems | Synapse