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

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

帮助

限定条件

文献类型：会议论文

已选(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
	Handwritten Chinese character recognition by joint classification and similarity ranking 会议论文 15th International Conference on Frontiers in Handwriting Recognition, ICFHR 2016, Shenzhen, China, October 23, 2016 - October 26, 2016 作者:  Cheng, Cheng;  Zhang, Xu-Yao;  Shao, Xiao-Hu;  Zhou, Xiang-Dong Adobe PDF(267Kb)  |  收藏  |  浏览/下载：68/0  |  提交时间：2018/03/16
	Regular chains under linear changes of coordinates and applications 会议论文 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, Aachen, Germany, September 14, 2015 - September 18, 2015 作者:  Alvandi, Parisa;  Chen, Changbo;  Hashemi, Amir;  Marc, Moreno Maza Adobe PDF(320Kb)  |  收藏  |  浏览/下载：43/0  |  提交时间：2018/03/16
	Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition 会议论文 2014 International Conference on Intelligent Computer Mathematics, CICM 2014, Coimbra, Portugal, July 7, 2014 - July 11, 2014 作者:  England, Matthew;  Bradford, Russell;  Chen, Changbo;  Davenport, James H.;  Maza, Marc Moreno;  Wilson, David Adobe PDF(557Kb)  |  收藏  |  浏览/下载：51/0  |  提交时间：2018/03/16
	The design and implementation of patent collaboration managing platform based on cloud architecture 会议论文 2014 5th IEEE International Conference on Software Engineering and Service Science, ICSESS 2014, Beijing, China, June 27, 2014 - June 29, 2014 作者:  Wang, Xiang;  Yang, Yong;  Lin, Xiaoguang;  Chen, Yongyuan;  Zhang, Ju Adobe PDF(293Kb)  |  收藏  |  浏览/下载：53/0  |  提交时间：2018/03/16
	A recursive decision method for termination of linear programs 会议论文 2014 Symposium on Symbolic-Numeric Computation, SNC 2014, Shanghai, China, July 28, 2014 - July 31, 2014 作者:  Li, Yi Adobe PDF(409Kb)  |  收藏  |  浏览/下载：54/0  |  提交时间：2018/03/16