QQ客服 官方微博 反馈留言

浏览/检索结果: 共25条，第1-10条 帮助 限定条件 专题：华南理工大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 (α, β)-Ordered linear resolution of intuitionistic fuzzy propositional logic (EI收录) 期刊论文 Information Sciences, 2017, 卷号: 414, 页码: 329-339 作者:  Zou, Li[1];  Li, XiaoNan[1];  Pan, Chang[1];  Liu, Xin[2] 收藏  |  浏览/下载：8/0  |  提交时间：2019/04/24 Computer circuits  Formal logic  Fuzzy sets   Dynamic context-aware event recognition based on Markov logic networks (EI收录) 期刊论文 Sensors (Switzerland), 2017, 卷号: 17 作者:  Liu, Fagui[1];  Deng, Dacheng[1];  Li, Ping[1] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/24 Computer circuits  Formal logic  Information fusion  Markov processes  Probabilistic logics  Uncertainty analysis   Reachability of higher-order logical control networks via matrix method (EI收录SCI收录) 期刊论文 Applied Mathematics and Computation, 2016, 卷号: 287-288, 页码: 50-59 作者:  Zou, Yunlei[1];  Zhu, Jiandong[1] 收藏  |  浏览/下载：4/0  |  提交时间：2019/04/24 Formal logic   A prepositional calculus formal deductive system LU of universal logic and its completeness (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Changsa, China, August 27, 2005 - August 29, 2005 作者:  Luo, Minxia[1,2];  He, Huacan[1] 收藏  |  浏览/下载：12/0  |  提交时间：2019/04/18 Algebra  Differentiation (calculus)  Mathematical operators  Numerical methods  Theorem proving   A propositional calculus formal deductive system LU of universal logic and its completeness (EI收录) 会议论文 Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Changsha, China, August 27, 2005 - August 29, 2005 作者:  Luo, Minxia[1,2];  He, Huacan[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/18 Computational complexity   Intelligent lamp design using case-based reasoning (EI收录) 会议论文 Proceedings of SPIE - The International Society for Optical Engineering, Chongging, China, September 20, 2005 - September 23, 2005 作者:  Hua-ming, Peng[1];  Shi-xiong, Zheng[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/18 Computer simulation  Electric lamps  Formal logic  Indexing (of information)  Object oriented programming   Some fuzzy LI-ideals in lattice implication algebras (EI收录) 会议论文 Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference, Blankenberge, Belgium, September 1, 2004 - September 3, 2004 作者:  Liu, Yong Lin[1,2];  Liu, San Yang[1];  Xu, Yang[3] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/18 Algebra  Formal logic  Functions  Mapping  Mathematical operators  Number theory  Set theory   Chaotic parallel genetic algorithm with feedback mechanism and its application in complex constrained problem (EI收录) 会议论文 2004 IEEE Conference on Cybernetics and Intelligent Systems, Singapore, December 1, 2004 - December 3, 2004 作者:  Sun, Youfa[1];  Deng, Feiqi[1] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/18 Convergence of numerical methods  Feedback  Formal logic  Information analysis  Mapping  Mathematical models  Parameter estimation  Robustness (control systems)   Similarity learning based on extension logic (EI收录) 会议论文 Proceedings of the World Congress on Intelligent Control and Automation (WCICA), Hangzhou, China, June 15, 2004 - June 19, 2004 作者:  He, Bin[1];  Zhu, Xuefeng[1] 收藏  |  浏览/下载：3/0  |  提交时间：2019/04/18 Data mining  Error detection  Formal logic  Knowledge based systems  Mathematical transformations  Microanalysis  Probability distributions   LI-filters in lattice implication algebras (EI收录) 会议论文 Applied Computational Intelligence - Proceedings of the 6th International FLINS Conference, Blankenberge, Belgium, September 1, 2004 - September 3, 2004 作者:  Liu, Yong Lin[1,2];  Xu, Yang[3];  Liu, San Yang[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/18 Boolean algebra  Formal logic  Functions  Mathematical operators  Set theory