Keyphrases
- speech recognition
- model checking
- speech signal
- recognition engine
- formal verification
- endpoint detection
- face verification
- upper bound
- speech synthesis
- audio visual
- text to speech
- speaker recognition
- data sets
- automatic speech recognition
- speech processing
- broadcast news
- spoken language
- spoken dialogue systems
- english text
- signature verification
- asynchronous circuits
- formal methods
- computer science
- dialogue system