Applying Term Rewriting to Speech Recognition of Numbers.
Robert E. ShostakPublished in: ICFEM (2012)
Keyphrases
- speech recognition
- term rewriting
- theorem proving
- theorem prover
- hidden markov models
- speech synthesis
- operational semantics
- language model
- speech recognizer
- speech signal
- automatic speech recognition
- pattern recognition
- speech recognition technology
- noisy environments
- speech processing
- speech understanding
- speaker dependent
- speaker independent
- speech recognition errors
- speech recognizers
- isolated word
- speaker identification
- speech recognition systems
- first order logic
- artificial intelligence
- cepstral coefficients
- keyword spotting
- neural network
- feature extraction