QQ客服 官方微博 反馈留言

浏览/检索结果: 共129条，第1-10条 帮助 限定条件 内容类型：会议论文    专题：华南理工大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Variable minimal unsatisfiability (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Beijing, China, May 15, 2006 - May 20, 2006 作者:  Chen, Zhenyu[1];  Ding, Decheng[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/18 Artificial intelligence  Mathematical models  Polynomials  Theorem proving   Rough modules and their some properties (EI收录) 会议论文 Proceedings of the 2006 International Conference on Machine Learning and Cybernetics, Dalian, China, August 13, 2006 - August 16, 2006 作者:  Zhang, Qun-Feng[1];  Fu, Ai-Min[1];  Zhao, Shi-Xin[2] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/18 Approximation algorithms  Information systems  Theorem proving   Hopf bifurcation in a single inertial neuron model with a discrete delay (EI收录) 会议论文 Lecture Notes in Computer Science, Chongqing, China, May 30, 2005 - June 1, 2005 作者:  Li, Shaowen[1,2];  Li, Shaorong[3] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/18 Computer science  Computer simulation  Frequency domain analysis  Mathematical models  Neural networks  Theorem proving   Research of non-distinct solow economic growth model (EI收录) 会议论文 2005 IEEE International Conference on Granular Computing, Beijing, China, July 25, 2005 - July 27, 2005 作者:  Cao, Bing-Yuan[1,2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/18 Functions  Mapping  Mathematical models  Numerical analysis  Problem solving  Theorem proving   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   Exponential stability of general stochastic hybrid systems and it's application (EI收录) 会议论文 9th International Conference on Control, Automation, Robotics and Vision, 2006, ICARCV '06, Singapore, Singapore, December 5, 2006 - December 8, 2006 作者:  Liu, Haijun[1];  Mu, Xiaowu[1] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/18 Asymptotic stability  Linear control systems  Lyapunov methods  Theorem proving   Hopf bifurcation in a single inertial neuron model: A frequency domain approach (EI收录) 会议论文 Lecture Notes in Computer Science, Chongqing, China, May 30, 2005 - June 1, 2005 作者:  Li, Shaorong[1];  Li, Shaowen[2,3];  Sun, Xipeng[2];  Li, Jie[2] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/18 Computer science  Computer simulation  Frequency domain analysis  Mathematical models  Neural networks  Theorem proving   Modeling and stabilty of long random delay networked control systems (EI收录) 会议论文 2005 International Conference on Machine Learning and Cybernetics, ICMLC 2005, Guangzhou, China, August 18, 2005 - August 21, 2005 作者:  Wu, Jin[1];  Deng, Fei-Qi[1];  Gao, Jing-Guang[1] 收藏  |  浏览/下载：0/0  |  提交时间：2019/04/18 Control system analysis  Discrete time control systems  Matrix algebra  Sampling  Theorem proving   The second attribute (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Regina, Canada, August 31, 2005 - September 3, 2005 作者:  Han, Suqing[1,2];  Wang, Jue[1] 收藏  |  浏览/下载：2/0  |  提交时间：2019/04/18 Algorithms  Data mining  Knowledge based systems  Set theory  Theorem proving   Adaptive neural control of non-affine pure-feedback systems (EI收录) 会议论文 Proceedings of the 20th IEEE International Symposium on Intelligent Control, ISIC '05 and the 13th Mediterranean Conference on Control and Automation, MED '05, Limassol, Cyprus, June 27, 2005 - June 29, 2005 作者:  Wang, Gong[1];  Hill, David J.[2];  Ge, Shuzhi S.[3] 收藏  |  浏览/下载：9/0  |  提交时间：2019/04/18 Adaptive systems  Control systems  Nonlinear systems  Recurrent neural networks  Stability criteria  Theorem proving