中文版 | English

在结果中检索

CSpace

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

限定条件        
已选(0)清除 条数/页：   排序方式：
基于迭代轨迹划分的单分支循环程序终止性分析 期刊论文
计算机科学, 2023, 卷号: 50, 期号: 9, 页码: 108-116
作者:  王垚;  李轶
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/25
Program verification  Ranking functions  Machine learning  Program termination  程序验证  秩函数  机器学习  程序终止性  
智能车技术探讨 期刊论文
计算机科学, 2012, 期号: 5, 页码: 1-8
作者:  王国胤;  陈乔松;  王进
Adobe PDF(999Kb)  |  收藏  |  浏览/下载：53/0  |  提交时间：2018/03/16
智能汽车  智能交通系统  交互  人工智能  认知计算