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

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

帮助

限定条件

收录类别：EI

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择WOS被引频次升序WOS被引频次降序题名升序题名降序期刊影响因子升序期刊影响因子降序作者升序作者降序发表日期升序发表日期降序提交时间升序提交时间降序
	Detection of Ranking Functions of Polynomial Loop Programs 期刊论文 Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 11, 页码: 3243-3258 作者:  Li, Yi;  Feng, Yong 收藏  |  浏览/下载：124/0  |  提交时间：2020/02/18
	SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs 期刊论文 Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 7, 页码: 1903-1915 作者:  Li, Yi;  Cai, Tian-Xun;  Fan, Jian-Feng;  Wu, Wen-Yuan;  Feng, Yong 收藏  |  浏览/下载：266/0  |  提交时间：2020/02/18
	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 收藏  |  浏览/下载：288/0  |  提交时间：2020/02/18
	Experiments on neighborhood combination strategies for bi-objective unconstrained binary quadratic programming problem 会议论文 8th International Symposium on Parallel Architectures, Algorithms, and Programming, PAAP 2017, Haikou, China, June 17, 2017 - June 18, 2017 作者:  Xue, Li-Yuan;  Zeng, Rong-Qiang;  An, Wei;  Wang, Qing-Xian;  Shang, Ming-Sheng Adobe PDF(381Kb)  |  收藏  |  浏览/下载：96/0  |  提交时间：2018/03/16
	Solving Bi-objective unconstrained binary quadratic programming problem with multi-objective backbone guided search algorithm 会议论文 12th International Conference on Intelligent Computing Theories and Application, ICIC 2016, Lanzhou, China, August 2, 2016 - August 5, 2016 作者:  Xue, Li-Yuan;  Zeng, Rong-Qiang;  Wang, Yang;  Shang, Ming-Sheng Adobe PDF(565Kb)  |  收藏  |  浏览/下载：87/0  |  提交时间：2018/03/16
	Multi-parent Crossover Based Genetic Algorithm for Bi-Objective Unconstrained Binary Quadratic Programming Problem 会议论文 11th International Conference on Bio-inspired Computing – Theories and Applications, BIC-TA 2016, Xian, China, October 28, 2016 - October 30, 2016 作者:  Huo, Chao;  Zeng, Rongqiang;  Wang, Yang;  Shang, Mingsheng Adobe PDF(229Kb)  |  收藏  |  浏览/下载：88/0  |  提交时间：2018/03/16
	Termination analysis of non-linear loops over closed and bounded connected domain 期刊论文 Ruan Jian Xue Bao/Journal of Software, 2016, 卷号: 27, 期号: 3, 页码: 517-526 作者:  Li, Yi;  Feng, Yong 收藏  |  浏览/下载：66/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)  |  收藏  |  浏览/下载：44/0  |  提交时间：2018/03/16
	Termination analysis of multipath loop programs with one variable 期刊论文 Ruan Jian Xue Bao/Journal of Software, 2015, 卷号: 26, 期号: 2, 页码: 297-304 作者:  Li, Yi;  Li, Chuan-Can;  Wu, Wen-Yuan Adobe PDF(731Kb)  |  收藏  |  浏览/下载：57/0  |  提交时间：2018/03/16
	Abstraction of elementary hybrid systems by variable transformation 会议论文 20th International Symposium on Formal Methods, FM 2015, Oslo, Norway, June 24, 2015 - June 26, 2015 作者:  Liu, Jiang;  Zhan, Naijun;  Zhao, Hengjun;  Zou, Liang Adobe PDF(512Kb)  |  收藏  |  浏览/下载：60/0  |  提交时间：2018/03/16