CSpace

浏览/检索结果: 共4条,第1-4条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
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
收藏  |  浏览/下载:85/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
收藏  |  浏览/下载:117/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
收藏  |  浏览/下载:259/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)  |  收藏  |  浏览/下载:144/0  |  提交时间:2019/06/24
Recommender systems  collaborative filtering  rating prediction  denoising autoencoders  multi layered perceptron