Author: Kritzinger, Pieter S
Similar Items: Specification and verification of systems using model checking and Markov reward models
- Hidden Markov models for on-line signature verification
- Handwritten signature verification using hidden Markov models
- Reducing communication in distributed model checking
- Part-of-speech Tagging for Marathi using Maximum Entropy Markove Model
- Handwritten signature verification : a hidden Markov model approach
- A comparison of two different model checking techniques