中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
基于迭代轨迹划分的单分支循环程序终止性分析 期刊论文
计算机科学, 2023, 卷号: 50, 期号: 9, 页码: 108-116
作者:  王垚;  李轶
收藏  |  浏览/下载：9/0  |  提交时间：2023/12/25
Program verification  Ranking functions  Machine learning  Program termination  程序验证  秩函数  机器学习  程序终止性  
Synthesizing ranking functions for loop programs via SVM 期刊论文
THEORETICAL COMPUTER SCIENCE, 2022, 卷号: 935, 页码: 1-20
作者:  Li, Yi;  Li, Xie;  Li, Yong;  Sun, Xuechao;  Turrini, Andrea;  Zhang, Lijun
收藏  |  浏览/下载：37/0  |  提交时间：2022/12/26
Program analysis  Termination  Nested ranking function  Multi -phase ranking function  Support vector machine  
Synthesis of ranking functions via DNN 期刊论文
NEURAL COMPUTING & APPLICATIONS, 2021, 页码: 21
作者:  Tan, Wang;  Li, Yi
收藏  |  浏览/下载：73/0  |  提交时间：2021/04/06
Ranking function  DNN  Termination  Loop programs  
On ranking functions for single-path linear-constraint loops 期刊论文
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 页码: 12
作者:  Li, Yi;  Wu, Wenyuan;  Feng, Yong
收藏  |  浏览/下载：82/0  |  提交时间：2020/08/24
Software reliability  Program termination  Linear ranking functions  Farkas' lemma  
Detection of Ranking Functions of Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 11, 页码: 3243-3258
作者:  Li, Yi;  Feng, Yong
收藏  |  浏览/下载：114/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
收藏  |  浏览/下载：257/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
收藏  |  浏览/下载：278/0  |  提交时间：2020/02/18
DCCR: Deep Collaborative Conjunctive Recommender for Rating Prediction 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 60186-60198
作者:  Wang, Qingxian;  Peng, Binbin;  Shi, Xiaoyu;  Shang, Tianqi;  Shang, Mingsheng
Adobe PDF(4751Kb)  |  收藏  |  浏览/下载：142/0  |  提交时间：2019/06/24
Recommender systems  collaborative filtering  rating prediction  denoising autoencoders  multi layered perceptron  
Prioritizing predictive biomarkers for gene essentiality in cancer cells with mRNA expression data and DNA copy number profile 期刊论文
BIOINFORMATICS, 2018, 卷号: 34, 期号: 23, 页码: 3975-3982
作者:  Guan, Yuanfang;  Li, Tingyang;  Zhang, Hongjiu;  Zhu, Fan;  Omenn, Gilbert S.
Adobe PDF(559Kb)  |  收藏  |  浏览/下载：175/0  |  提交时间：2019/01/17
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)  |  收藏  |  浏览/下载：149/0  |  提交时间：2019/01/17
Biodiversity  Landscape gradient model  Large dam  Manipulated flooding  Surface metrology  Yangtze River