中国科学院重庆绿色智能技术研究院机构知识库

浏览/检索结果: 共8条，第1-8条

帮助

限定条件	文献类型：会议论文    专题：自动推理与认知研究中心    第一作者的第一单位    第一作者单位    通讯作者单位

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序作者升序作者降序题名升序题名降序WOS被引频次升序WOS被引频次降序发表日期升序发表日期降序提交时间升序提交时间降序
	Synthesizing Nested Ranking Functions for Loop Programs via SVM 会议论文 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5, 2019 - November 9, 2019 作者:  Li, Yi;  Sun, Xuechao;  Li, Yong;  Turrini, Andrea;  Zhang, Lijun 收藏  |  浏览/下载：279/0  |  提交时间：2020/02/18
	Early ending in homotopy path-tracking for real roots 会议论文 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018 作者:  Wang, Yu;  Wu, Wenyuan;  Xia, Bican Adobe PDF(383Kb)  |  收藏  |  浏览/下载：110/0  |  提交时间：2019/06/25
	Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems 会议论文 19th International Workshop on Computer Algebra in Scientific Computing, CASC 2017, Beijing, China, September 18, 2017 - September 22, 2017 作者:  Wu, Wenyuan;  Chen, Changbo;  Reid, Greg Adobe PDF(617Kb)  |  收藏  |  浏览/下载：93/0  |  提交时间：2018/03/16
	Sparse non-negative matrix factorization with generalized kullback-leibler divergence 会议论文 17th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2016, Yangzhou, China, October 12, 2016 - October 14, 2016 作者:  Chen, Jingwei;  Feng, Yong;  Liu, Yang;  Tang, Bing;  Wu, Wenyuan Adobe PDF(1029Kb)  |  收藏  |  浏览/下载：121/0  |  提交时间：2018/03/16
	Homomorphically encrypted arithmetic operations over the integer ring 会议论文 12th International Conference on Information Security Practice and Experience, ISPEC 2016, Zhangjiajie, China, November 16, 2016 - November 18, 2016 作者:  Xu, Chen;  Chen, Jingwei;  Wu, Wenyuan;  Feng, Yong Adobe PDF(349Kb)  |  收藏  |  浏览/下载：124/0  |  提交时间：2018/03/16
	Simplification of cylindrical algebraic formulas 会议论文 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, Aachen, Germany, September 14, 2015 - September 18, 2015 作者:  Chen, Changbo;  Moreno Maza, Marc Adobe PDF(273Kb)  |  收藏  |  浏览/下载：42/0  |  提交时间：2018/03/16
	A heuristic for sigma set selection of UKF 会议论文 2014 12th IEEE International Conference on Signal Processing, ICSP 2014, Hangzhou, China, October 19, 2014 - October 23, 2014 作者:  Wang, Yujin;  Liu, Jiang;  Yang, Wenqiang;  Zhang, Ju Adobe PDF(918Kb)  |  收藏  |  浏览/下载：73/0  |  提交时间：2018/03/16
	Solving parametric polynomial systems by RealComprehensiveTriangularize 会议论文 4th International Congress on Mathematical Software, ICMS 2014, Seoul, Korea, Republic of, August 5, 2014 - August 9, 2014 作者:  Chen, Changbo;  Maza, Marc Moreno Adobe PDF(972Kb)  |  收藏  |  浏览/下载：50/0  |  提交时间：2018/03/16