Keyphrases
- em algorithm
- gaussian mixture model
- expectation maximization
- mixture model
- maximum likelihood
- gaussian mixture
- formal verification
- model checking
- nonlinear systems
- gaussian mixture modeling
- verification method
- speaker recognition
- speaker identification
- signature verification
- face verification
- unsupervised learning
- neural network
- background subtraction
- speech recognition
- similarity measure
- feature extraction
- road safety
- real time