中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共11条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Detection of Ranking Functions of Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 11, 页码: 3243-3258
作者:  Li, Yi;  Feng, Yong
收藏  |  浏览/下载：115/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
收藏  |  浏览/下载：258/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
收藏  |  浏览/下载：279/0  |  提交时间：2020/02/18
Complex effects of landscape, habitat and reservoir operation on riparian vegetation across multiple scales in a human-dominated landscape 期刊论文
ECOLOGICAL INDICATORS, 2018, 卷号: 94, 页码: 482-490
作者:  Chen, Chundi;  Ma, Maohua;  Wu, Shengjun;  Jia, Junsong;  Wang, Yuncai
Adobe PDF(1140Kb)  |  收藏  |  浏览/下载：150/0  |  提交时间：2019/01/17
Biodiversity  Landscape gradient model  Large dam  Manipulated flooding  Surface metrology  Yangtze River  
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)  |  收藏  |  浏览/下载：67/0  |  提交时间：2018/03/16
Numerical method for real root isolation of semi-algebraic system and its applications 期刊论文
Journal of Computational and Theoretical Nanoscience, 2016, 卷号: 13, 期号: 1, 页码: 803-811
作者:  Ji, Zhenyi;  Wu, Wenyuan;  Feng, Yong;  Li, Yi;  Qin, Xiao Lin
Adobe PDF(431Kb)  |  收藏  |  浏览/下载：96/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)  |  收藏  |  浏览/下载：42/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)  |  收藏  |  浏览/下载：48/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)  |  收藏  |  浏览/下载：52/0  |  提交时间：2018/03/16