CORC

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

已选(0)清除 条数/页:   排序方式:
从视频到语言:视频描述和标题生成方法研究 学位论文
中国科学院自动化研究所: 中国科学院自动化研究所, 2022
作者:  张子琦
收藏  |  浏览/下载:23/0  |  提交时间:2022/06/16
离散型物联制造过程复杂事件模型描述 期刊论文
2016, 卷号: 16, 期号: 33, 页码: 193-198
作者:  陈伟兴;  李少波;  张成龙
收藏  |  浏览/下载:7/0  |  提交时间:2019/12/31
带时间约束的LTL公式的模型检测技术及工具实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
部德振
收藏  |  浏览/下载:14/0  |  提交时间:2010/06/08
时间自动机关于LTL性质的符号化模型检测工具及其改进 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
魏绪凯
收藏  |  浏览/下载:17/0  |  提交时间:2009/06/14
现代汉语新闻要素语义分析关键技术研究 学位论文
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2009
作者:  赵毅强
收藏  |  浏览/下载:88/0  |  提交时间:2015/09/02
BPEL引擎监控平台的设计与实现 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
陈今梁
收藏  |  浏览/下载:10/0  |  提交时间:2011/03/17
基于网络的机器人遥操作系统:运动描述语言方法 学位论文
博士, 沈阳自动化研究所: 中国科学院沈阳自动化研究所, 2008
化建宁
收藏  |  浏览/下载:29/0  |  提交时间:2010/11/29
基于网络的机器人遥操作系统:运动描述语言方法 学位论文
沈阳: 中国科学院沈阳自动化研究所, 2008
作者:  化建宁
收藏  |  浏览/下载:24/0  |  提交时间:2010/11/29
基于FPGA的PCI接口设计及其在探地雷达上的应用 学位论文
硕士, 长春光学精密机械与物理所: 中国科学院长春光学精密机械与物理所, 2007
程鹏
收藏  |  浏览/下载:9/0  |  提交时间:2012/03/21
基于移动Agent的位置信息服务系统研究 学位论文
博士, 武汉: 中国科学院测量与地球物理研究所, 2006
钟世明
收藏  |  浏览/下载:60/0  |  提交时间:2013/01/16


©版权所有 ©2017 CSpace - Powered by CSpace