中文版 | English

在结果中检索

CSpace
（本次检索基于用户作品认领结果）

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

限定条件        
已选(0)清除 条数/页：   排序方式：
cuSCNN: A Secure and Batch-Processing Framework for Privacy-Preserving Convolutional Neural Network Prediction on GPU 期刊论文
FRONTIERS IN COMPUTATIONAL NEUROSCIENCE, 2021, 卷号: 15, 页码: 13
作者:  Bai, Yanan;  Liu, Quanliang;  Wu, Wenyuan;  Feng, Yong
收藏  |  浏览/下载：60/0  |  提交时间：2022/08/22
privacy-preserving  convolutional neural network  homomorphic encryption  GPU computation  deep learning  cloud computing  
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2020, 页码: 23
作者:  Chen, Changbo;  Wu, Wenyuan;  Feng, Yong
收藏  |  浏览/下载：94/0  |  提交时间：2020/08/24
Continuation method  critical point method  real algebraic curve  singularity  
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  
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
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  
An Automatic Approach for Retinal Vessel Segmentation by Multi-Scale Morphology and Seed Point Tracking 期刊论文
JOURNAL OF MEDICAL IMAGING AND HEALTH INFORMATICS, 2018, 卷号: 8, 期号: 2, 页码: 262-274
作者:  Wang, Weihua;  Zhang, Jingzhong;  Wu, Wenyuan;  Zhou, Shuang
收藏  |  浏览/下载：188/0  |  提交时间：2018/06/04
Vessel Contrast  Medical Image Processing  Automatic Segmentation  Mathematical Morphology  Vessel Segmentation  
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities 会议论文
20th International Workshop on Computer Algebra in Scientific Computing, CASC 2018, Lille, France, September 17, 2018 - September 21, 2018
作者:  Chen, Changbo;  Wu, Wenyuan
Adobe PDF(1113Kb)  |  收藏  |  浏览/下载：101/0  |  提交时间：2019/06/25
Early ending in homotopy path-tracking for real roots 会议论文
13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018
作者:  Wang, Yu;  Wu, Wenyuan;  Xia, Bican
Adobe PDF(383Kb)  |  收藏  |  浏览/下载：110/0  |  提交时间：2019/06/25
Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically 会议论文
13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, Suzhou, China, September 16, 2018 - September 19, 2018
作者:  Chen, Changbo;  Wu, Wenyuan
Adobe PDF(535Kb)  |  收藏  |  浏览/下载：111/0  |  提交时间：2019/06/25
Computing real witness points of positive dimensional polynomial systems 期刊论文
THEORETICAL COMPUTER SCIENCE, 2017, 卷号: 681, 页码: 217-231
作者:  Wu, Wenyuan;  Reid, Greg;  Feng, Yong
收藏  |  浏览/下载：162/0  |  提交时间：2018/03/05
Numerical algebraic geometry  Real algebraic geometry  Homotopy continuation  Singular critical points  Real witness points