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
Author: Kritzinger, Pieter S
- The complexity of Petri net transformations
- A methodology for analyzing power consumption in wireless communication systems
- Modelling adaptive routing in Wide Area Networks
- Distributed analysis of Markov chains
- ROLAND : a tool for the realistic optimisation of local access network design
- Protocol engineering from Estelle specifications