UM

Browse/Search Results:  1-6 of 6 Help

Filters                
Selected(0)Clear Items/Page:    Sort:
Combining two strategies to optimize biometric decisions against spoofing attacks Conference paper
Proceedings of SPIE - The International Society for Optical Engineering, San Diego, CA, AUG 18-20, 2014
Authors:  Li W.;  Poh N.;  Zhou Y.
Favorite  |  View/Download:6/0  |  Submit date:2018/12/21
Biometric Authorization  Biometric Verification  Spoof Attack  
A SIFT and local features based integrated method for copy-move attack detection in digital image Conference paper
2013 IEEE International Conference on Information and Automation, ICIA 2013, Yinchuan, CHINA, AUG 26-28, 2013
Authors:  Liu B.;  Pun C.-M.
Favorite  |  View/Download:6/0  |  Submit date:2019/02/14
Authenticity Verification  Copy-move Attack  Digital Image Forensics  Gabor Filter  Sift  
rCOS: A formal model-driven engineering method for component-based software Journal article
Frontiers of Computer Science in China, 2012,Volume: 6,Issue: 1,Page: 17-39
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
Digital image watermarking with blind detection for copyright verification Conference paper
Proceedings - 1st International Congress on Image and Signal Processing, CISP 2008, Sanya, PEOPLES R CHINA, MAY 27-30, 2008
Authors:  Kong I.-K.;  Pun C.-M.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Copyright Verification  Digital Watermarking  Wavelet Packet  
Unifying proof methodologies of duration calculus and timed linear temporal logic Conference paper
Formal Aspects of Computing
Authors:  Liu Z.;  Ravn A.P.;  Li X.
Favorite  |  View/Download:2/0  |  Submit date:2019/02/14
Design  Real-time  Refinement  Specification  Verification  
Verifying Duration Properties of Timed Transition Systems Book chapter
出自: Programming Concepts and Methods PROCOMET ’98:Springer, Boston, MA, 1998, 页码: 327-345
Authors:  Liu, Zhiming;  Ravn, Anders;  Li, Xiaoshan
Favorite  |  View/Download:4/0  |  Submit date:2019/05/24
Real-time Systems  Duration Calculus  Timed Transition Systems  Specification  Verification