QQ客服 官方微博 反馈留言

浏览/检索结果: 共27条，第1-10条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Research on tableau algorithm for horn-extended DL 期刊论文 2010, 2010 Xiao Lan; Zheng Li; Xiao Jian; Huang Yi 收藏  |  浏览/下载：3/0 Credibility measure of fuzzy sets and applications 期刊论文 2010, 2010 Xiang Li; Ralescu, D. 收藏  |  浏览/下载：4/0 Efficient translation of LTL to Buchi automata 期刊论文 2010, 2010 Yin Chongyuan; Luo Guiming 收藏  |  浏览/下载：5/0 Reduction and simplification of explicit LTL model checking via an abstraction method 期刊论文 2010, 2010 Sun Junbo; Luo Guiming 收藏  |  浏览/下载：7/0 Parameter learning algorithm of fuzzy logic system with noisy inputs 期刊论文 2010, 2010 Wang Jun-ping; Chen Quan-shi 收藏  |  浏览/下载：3/0 Efficient exact arithmetic over constructive reals 会议论文 Theory and Applications of Models of Computation. 4th International Conference, TAMC 2007. Proceedings (Lecture Notes in Computer Science Vol.4484), Theory and Applications of Models of Computation. 4th International Conference, TAMC 2007. Proceedings, Shanghai, China, INSPEC Yong Li; Jun-Hai Yong 收藏  |  浏览/下载：4/0 Reasoning about processes: a logical approach 期刊论文 2010, 2010 Chunping Li 收藏  |  浏览/下载：6/0 The research for nonlinear GDSS system multimodels control algorithm 期刊论文 2010, 2010 Yan Li-xiang; Qin Zheng 收藏  |  浏览/下载：7/0 A machine learning application for human resource data mining problem 会议论文 Applications of Evolutionary Computing.EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC. Proceedings (Lecture Notes in Computer Science Vol.3907), Applications of Evolutionary Computing. EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC. Proceedings, Budapest, Hungary, INSPEC Zhen Xu; Binheng Song 收藏  |  浏览/下载：2/0 Time pi calculus and weak-timed mutual-simulation analysis 期刊论文 2010, 2010 Xu Ke; Liu Lian-chen; Wu Cheng 收藏  |  浏览/下载：1/0