Towards acoustic model unification across dialects.

Mohamed Elfeky Meysam Bastani Xavier Velez Pedro J. Moreno Austin Waters

Published in: SLT (2016)

Keyphrases

theorem proving
higher order
equational theories
theorem prover
automated theorem proving
multi agent
search algorithm
multi dimensional
visual features
orders of magnitude
term rewriting