|
已选(0)清除
条数/页： 排序方式：
|
| 基于视频时序信息的人体动作识别算法研究 学位论文
硕士, 北京: 中国科学院研究生院, 2020
作者: 孔梦瑶
  收藏 | 浏览/下载：2/0 | 提交时间：2020/06/12 |
| 基于视频的行为理解 学位论文
硕士, 北京: 中国科学院研究生院, 2019
作者: 王喆
收藏 | 浏览/下载：16/0 | 提交时间：2019/06/18
|
| 典型流式机器学习算法并行化设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2018
作者: 沈雯婷
收藏 | 浏览/下载：119/0 | 提交时间：2018/06/12
|
| 面向海量时序数据存储的分布式冗余策略研究 学位论文
硕士, 北京: 中国科学院大学, 2017
作者: 柳立辉
收藏 | 浏览/下载：6/0 | 提交时间：2017/07/08 |
| 现代CPU缓存微架构的功能与时序模拟研究 学位论文
硕士, 北京: 中国科学院大学, 2017
作者: 宋双洋
收藏 | 浏览/下载：14/0 | 提交时间：2017/07/08 |
| 扩展时序协作逻辑的模型检测方法研究 学位论文
硕士, 北京: 中国科学院研究生院, 2016
纪玮
收藏 | 浏览/下载：16/0 | 提交时间：2016/06/27
|
| 时间自动机模拟器CTAV-Simulator的设计与实现 学位论文
硕士, 北京: 中国科学院研究生院, 2014
喻灵婧
收藏 | 浏览/下载：14/0 | 提交时间：2014/05/30
|
| 时序逻辑博弈问题的必胜策略检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
梁虹
收藏 | 浏览/下载：16/0 | 提交时间：2012/06/01
|
| 不动点逻辑中的模型构造与推演系统的完备性 学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏 | 浏览/下载：22/0 | 提交时间：2012/07/06
|
| 基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏 | 浏览/下载：16/0 | 提交时间：2012/06/13
|
