HMM Model Decoding via Vertibi Algorithm