UM

Browse/Search Results:  1-10 of 16 Help

Filters    
Selected(0)Clear Items/Page:    Sort:
Integrating UML with service refinement for requirements modeling and analysis Journal article
IEEE Access, 2019,Volume: 7,Page: 11599-11612
Authors:  Yang Y.;  Ke W.;  Yang J.;  Li X.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/14
formal verification  requirements modeling  service refinement  UML  
Analysis of general opinions about Sina Weibo micro-blog real-name verification system Conference paper
1st International Conference on Future Generation Communication Technologies, FGCT 2012
Authors:  Fong S.;  Zhuang Y.;  Lu L.;  Tang R.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/13
data mining  Real-name verification  Sina Weibo micro blog  Social network  Statistics  
Analyzing and verifying Petri net model of security protocol based on Maria Conference paper
ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings
Authors:  Wang Y.;  Zhou J.;  Li H.;  Hao Y.
Favorite  |  View/Download:1/0  |  Submit date:2018/12/22
Analysis and verification  Maria  Petri net  Security protocol  
Model-based signature verification with rotation invariant features Journal article
Pattern Recognition, 2009,Volume: 42,Issue: 7,Page: 1458-1466
Authors:  Wen J.;  Fang B.;  Tang Y.Y.;  Zhang T.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/11
HMM  Ring-peripheral feature  Rotation invariant  Sample set pickup  Signature verification  Threshold selection  
Matching algorithm using wavelet thinning features for offline signature verification Journal article
International Journal of Wavelets, Multiresolution and Information Processing, 2007,Volume: 5,Issue: 1,Page: 27-38
Authors:  Fang B.;  You X.;  Chen W.-S.;  Tang Y.Y.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/11
Offline signature verification  Wavelet  
Improved class statistics estimation for sparse data problems in offline signature verification Journal article
IEEE Transactions on Systems, Man and Cybernetics Part C: Applications and Reviews, 2005,Volume: 35,Issue: 3,Page: 276-286
Authors:  Fang B.;  Tang Y.Y.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/11
Elastic matching  Limited training data  Matrix regularization  Offline system  Signature verification  
Universal writing model for recovery of writing sequence of static handwriting images Journal article
International Journal of Pattern Recognition and Artificial Intelligence, 2005,Volume: 19,Issue: 5,Page: 603-630
Authors:  Lau K.K.;  Chi P.;  Tang Y.Y.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/11
Handwritten images  Signature verification  Universal writing model  
Method for semantic verification of workflow processes based on Petri net reduction technique Journal article
Ruan Jian Xue Bao/Journal of Software, 2005,Volume: 16,Issue: 7,Page: 1242-1251
Authors:  Zhou J.-T.;  Shi M.-L.;  Ye X.-M.
Favorite  |  View/Download:3/0  |  Submit date:2018/12/22
Petri net  Process  Reduction  Semantic verification  Workflow  
CBR: A component-based reduction method for semantics verification of workflow processes Journal article
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2005,Volume: 33,Issue: 6,Page: 1060-1065
Authors:  Zhou J.-T.;  Shi M.-L.;  Ye X.-M.
Favorite  |  View/Download:2/0  |  Submit date:2018/12/22
Petri net  Reduction  Verification  Workflow  
Formal verification techniques in workflow process modeling Journal article
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2005,Volume: 42,Issue: 1,Page: 1-9
Authors:  Zhou J.;  Shi M.;  Ye X.
Favorite  |  View/Download:2/0  |  Submit date:2018/12/22
Petri net  Process modeling  Reduction  Soundness  Verification  Workflow