English | 繁體

Search in the results

UM

Browse/Search Results:  1-8 of 8 Help

Selected(0)Clear Items/Page:    Sort:
The impact of core constraints on truthful bidding in combinatorial auctions Journal article
Fritsch, Robin, Lee, Younjoo, Meier, Adrian, Wang, Kanye Ye, Wattenhofer, Roger. The impact of core constraints on truthful bidding in combinatorial auctions[J]. Theoretical Computer Science, 2024, 993, 114467.
Authors:  Fritsch, Robin;  Lee, Younjoo;  Meier, Adrian;  Wang, Kanye Ye;  Wattenhofer, Roger
Favorite | TC[WOS]:0 TC[Scopus]:0  IF:0.9/0.9 | Submit date：2024/05/02
Combinatorial Auctions  Core-selecting Payment Rules  Non-decreasing Payment Rules  
Fault Diagnosis of Automotive Engines using Fuzzy Relevance Vector Machine Book chapter
出自: Theoretical and Mathematical Foundations of Computer Science, Communications in Computer and Information Science, Germany:Springer-Verlag, 2011, 页码:213-220
Authors:  Wong, P. K.;  Vong, C. M.;  Zhang, Z.Y.;  Xu, Q.S.
Favorite |  | Submit date：2022/08/09
Fuzzy Probabilistic Neural Network  Fuzzy Probabilistic Support Vector Machine  Fuzzy Relevance Vector Machine  Engine fault diagnosis  
Prototyping System Requirements Model Journal article
Li X., Liu Z.. Prototyping System Requirements Model[J]. Electronic Notes in Theoretical Computer Science, 2008, 207(C), 17-32.
Authors:  Li X.;  Liu Z.
Favorite | TC[WOS]:6 TC[Scopus]:7 | Submit date：2019/02/14
Prototype  System Requirements Model  Uml  
A Theory of Reactive Components Journal article
He J., Li X., Liu Z.. A Theory of Reactive Components[J]. Electronic Notes in Theoretical Computer Science, 2006, 160(1), 173.
Authors:  He J.;  Li X.;  Liu Z.
Favorite | TC[Scopus]:36 | Submit date：2018/10/30
Components  Composition  Contracts  Interfaces  Protocols  
rCOS: A refinement calculus of object systems Journal article
Jifeng H., Li X., Liu Z.. rCOS: A refinement calculus of object systems[J]. Theoretical Computer Science, 2006, 365(2018-01-02), 109.
Authors:  Jifeng H.;  Li X.;  Liu Z.
Favorite | TC[WOS]:54 TC[Scopus]:87 | Submit date：2018/10/30
Object Orientation  Refinement  Semantics  Utp  
Towards a Rigorous Approach to UML-Based Development Journal article
ZhimingLiu, He Jifeng, Xiaoshan Li. Towards a Rigorous Approach to UML-Based Development[J]. Electronic Notes in Theoretical Computer Science, 2005, 130, 57–77.
Authors:  ZhimingLiu;  He Jifeng;  Xiaoshan Li
Favorite | TC[Scopus]:2 | Submit date：2019/05/20
Object-orientation  Transformation  Component-based Development  Refinement  Specification  
Towards a rigorous approach to UML-based development Conference paper
Liu Z., He J., Li X.. Towards a rigorous approach to UML-based development[C], 2005, 57-77.
Authors:  Liu Z.;  He J.;  Li X.
Favorite | TC[Scopus]:2 | Submit date：2019/02/14
Component-Based Development  Object-Orientation  Refinement  Specification  Transformation  
Unifying views of UML Journal article
Liu Z., He J., Liu J., Li X.. Unifying views of UML[J]. Electronic Notes in Theoretical Computer Science, 2004, 101, 95-127.
Authors:  Liu Z.;  He J.;  Liu J.;  Li X.
Favorite | TC[Scopus]:12 | Submit date：2019/02/14
Object-orientation  Rup  Uml  Utp