CSpace
(本次检索基于用户作品认领结果)

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

限定条件            
已选(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  
THE PSLQ ALGORITHM FOR EMPIRICAL DATA 期刊论文
MATHEMATICS OF COMPUTATION, 2019, 卷号: 88, 期号: 317, 页码: 1479-1501
作者:  Feng, Yong;  Chen, Jingwei;  Wu, Wenyuan
Adobe PDF(321Kb)  |  收藏  |  浏览/下载:250/0  |  提交时间:2019/03/01
Integer relation  PSLQ  empirical data  
Multi-Window Local Region Contrast Adjustment and Region Growing for Retinal Vessel Segmentation 期刊论文
JOURNAL OF MEDICAL IMAGING AND HEALTH INFORMATICS, 2018, 卷号: 8, 期号: 8, 页码: 1554-1565
作者:  Wang, Weihua;  Wang, Weiqing;  Wu, Wenyuan;  Zhang, Jingzhong
收藏  |  浏览/下载:122/0  |  提交时间:2018/12/13
Local Contrast  Retinal Vessel Segmentation  Medical Image Processing  Region Growing