UM

Browse/Search Results:  1-10 of 16 Help

Filters                
Selected(0)Clear Items/Page:    Sort:
Nonnegative class-specific entropy component analysis with adaptive step search criterion Journal article
Pattern Analysis and Applications, 2014,Volume: 17,Issue: 1,Page: 113-127
Authors:  Miao Cheng;  Chi-Man Pun;  Yuan Yan Tang
Favorite  |  View/Download:8/0  |  Submit date:2019/02/11
Diseased Nonnegative Learning Problem  General Objective Functions  Line Search  Nonnegative Learning  
Adaptive consensus control for a class of nonlinear multiagent time-delay systems using neural networks Journal article
IEEE Transactions on Neural Networks and Learning Systems, 2014,Volume: 25,Issue: 6,Page: 1217
Authors:  Chen C.L.P.;  Wen G.-X.;  Liu Y.-J.;  Wang F.-Y.
View  |  Adobe PDF(1028Kb)  |  Favorite  |  View/Download:313/38  |  Submit date:2018/10/30
Consensus control  Lyapunov-Krasovskii functional  Neural networks (NNS)  Nonlinear multiagent systems  Time delay  
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  
Interactive Transformation from Object-Oriented Models to Component-based Models Conference paper
Formal Aspects of Component Software, Oslo, Norway, September 14-16, 2011
Authors:  Dan Li;  Xiaoshan Li;  Zhiming Liu;  Volker Stolz
Favorite  |  View/Download:5/0  |  Submit date:2019/07/24
Model-driven Development  Component Model  Model Transformation  Qvt  Oo Design Model  Sequence Diagram  
Design and analysis of a totally decoupled flexure-based XY parallel micromanipulator Journal article
IEEE Transactions on Robotics, 2009,Volume: 25,Issue: 3,Page: 645
Authors:  Li Y.;  Xu Q.
View  |  Adobe PDF(1106Kb)  |  Favorite  |  View/Download:459/60  |  Submit date:2018/10/30
Dynamics  Kinematics  Mechanism Design  Micro-/nanorobots  Parallel Robots  
Harnessing rCOS for tool support - The CoCoME experience Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Macao, PEOPLES R CHINA, SEP 24-25, 2007
Authors:  Chen Z.;  Li X.;  Liu Z.;  Stolz V.;  Yang L.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Formal Methods  Software Development Tool  Software Process  Tool Design  
rCOS: A Relational Calculus of Components Journal article
World Scientific Press, 2006,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite  |  View/Download:2/0  |  Submit date:2019/07/30
A Relational Calculus of Components Journal article
Book Series: Series on Component-Based Software Development, 2006,Volume: 2,Page: 207-238
Authors:  Zhiming Liu;  Jifeng He;  Xiaoshan Li
Favorite  |  View/Download:1/0  |  Submit date:2019/07/30
rCOS: Refinement of component and object systems Conference paper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Authors:  Liu Z.;  Jifeng H.;  Li X.
Favorite  |  View/Download:4/0  |  Submit date:2019/02/14
Component-Based Development  Consistency  Object-Orientation  Refinement  Specification  
Towards a Rigorous Approach to UML-Based Development Journal article
Electronic Notes in Theoretical Computer Science, 2005,Volume: 130,Page: 57–77
Authors:  ZhimingLiu;  He Jifeng;  Xiaoshan Li
Favorite  |  View/Download:4/0  |  Submit date:2019/05/20
Object-orientation  Transformation  Component-based Development  Refinement  Specification