UM

Browse/Search Results:  1-10 of 13 Help

Filters                
Selected(0)Clear Items/Page:    Sort:
Compression-dependent transform-domain downward conversion for block-based image coding Journal article
IEEE Transactions on Image Processing, 2018,Volume: 27,Issue: 6,Page: 2635-2649
Authors:  Zhu S.;  He Z.;  Meng X.;  Zhou J.;  Zeng B.
Favorite  |  View/Download:9/0  |  Submit date:2018/12/22
Distortion  Image Coding  Interpolation  Quantization  Sub-sampling  
Optimal user-centric relay assisted device-todevice communications: An auction approach Journal article
IET Communications, 2015,Volume: 9,Issue: 3,Page: 386-395
Authors:  Chen Y.;  He S.;  Hou F.;  Shi Z.;  Chen X.
Favorite  |  View/Download:9/0  |  Submit date:2019/03/01
Integrated variable speed-fuzzy PWM control for ride height adjustment of active air suspension systems Conference paper
Proceedings of the American Control Conference, Chicago, IL, JUL 01-03, 2015
Authors:  Zhao J.;  Wong P.K.;  Xie Z.;  Wei C.;  He F.
Favorite  |  View/Download:4/0  |  Submit date:2019/03/26
Analysis of automotive rolling lobe air spring under alternative factors with finite element model Journal article
Journal of Mechanical Science and Technology, 2014,Volume: 28,Issue: 12,Page: 5069-5081
Authors:  Wong P.K.;  Xie Z.;  Zhao J.;  Xu T.;  He F.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/13
Air Spring  Boundary Element  Finite Element  Gas-solid Coupling  Static Stiffness  
A novel joint tracker based on occlusion detection Journal article
Knowledge-Based Systems, 2014,Volume: 71,Page: 409-418
Authors:  Li X.;  He Z.;  You X.;  Philip Chen C.L.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/11
Joint probability  Occlusion prediction  Sparse representation  Template update  Visual object tracking  
A Theory of Reactive Components Journal article
Electronic Notes in Theoretical Computer Science, 2006,Volume: 160,Issue: 1,Page: 173
Authors:  He J.;  Li X.;  Liu Z.
Favorite  |  View/Download:4/0  |  Submit date:2018/10/30
Components  Composition  Contracts  Interfaces  Protocols  
Component-based software engineering* the need to linie methods and their theories Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  He J.;  Li X.;  Liu Z.
Favorite  |  View/Download:7/0  |  Submit date:2019/02/14
Components  Composition  Consistency  Contracts  Functionality  Interfaces  Protocols  Refinement  Simulation  
Consistency checking of UML requirements Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li X.;  Liu Z.;  He J.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Consistency Checking  Formal requirement Specification  Requirement Analysis  UML  
Towards a rigorous approach to UML-based development Conference paper
Electronic Notes in Theoretical Computer Science
Authors:  Liu Z.;  He J.;  Li X.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
Generating a prototype from a UML model of system requirements Journal article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004,Volume: 3347,Page: 255-265
Authors:  Li X.;  Liu Z.;  He J.;  Long Q.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Code generation  Formal specification  Prototype  Requirements analysis