CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
基于异构多核平台的同步数据流图帕累托优化与调度 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 11, 页码: 43-47
顾玉磊; 朱雪阳; 晏荣杰; 张广泉
收藏  |  浏览/下载：18/0  |  提交时间：2016/12/09
基于主动规则推理的故障诊断系统设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2011
李欣
收藏  |  浏览/下载：9/0  |  提交时间：2011/06/07
带时间约束的LTL公式的模型检测技术及工具实现 学位论文
硕士, 北京: 中国科学院研究生院, 2010
部德振
收藏  |  浏览/下载：13/0  |  提交时间：2010/06/08
时间自动机关于LTL性质的符号化模型检测工具及其改进 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
魏绪凯
收藏  |  浏览/下载：16/0  |  提交时间：2009/06/14
离散数据上的非监督数据挖掘算法研究 学位论文
硕士, 中科院软件所: 中科院软件所, 2009
沈志勇
收藏  |  浏览/下载：9/0  |  提交时间：2009/06/30
基于事件日志的软件过程挖掘方法研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2009
阮利
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/17
新型网络环境中访问控制模型的研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
张宏
收藏  |  浏览/下载：7/0  |  提交时间：2011/03/17
基于HMM-FNN模型的复杂动态手势识别 期刊论文
软件学报, 2008, 卷号: 19, 期号: 9, 页码: 2302-2312
王西颖; 戴国忠; 张习文; 张凤军
收藏  |  浏览/下载：11/0  |  提交时间：2010/06/01
基于视频的人机交互及其关键技术研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
王西颖
收藏  |  浏览/下载：35/0  |  提交时间：2011/03/17
基于FSM和TA的测试用例自动生成与执行 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2007
冯东伟
收藏  |  浏览/下载：8/0  |  提交时间：2011/03/17

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