中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
基于迭代轨迹划分的单分支循环程序终止性分析 期刊论文
计算机科学, 2023, 卷号: 50, 期号: 9, 页码: 108-116
作者:  王垚;  李轶
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/25
Program verification  Ranking functions  Machine learning  Program termination  程序验证  秩函数  机器学习  程序终止性  
基于改进非全连接神经网络的站点客流预测模型 期刊论文
计算机工程, 2023, 卷号: 049, 期号: 009, 页码: 43-51
作者:  高御尧;  石明全;  秦渝;  陈建平;  周喜;  张鹏
收藏  |  浏览/下载：14/0  |  提交时间：2023/12/25
公路运输  客流量预测  非全连接神经网络  兴趣点  公交站点