机构

• 软件研究所 [151]

采集方式

• OAI收割 [151]

内容类型

• 期刊论文 [58]
• 学位论文 [50]
• 会议论文 [42]
• 其他 [1]

发表日期

• 2020 [1]
• 2018 [1]
• 2017 [1]
• 2016 [2]
• 2015 [3]
• 2014 [11]
• 更多

学科主题

• Computer S... [8]
• 计算机科学技术基础学... [7]
• Computer S... [4]
• 计算机软件::软件工... [4]
• 计算机科学技术基础学... [3]
• Engineerin... [2]
• 更多

筛选

浏览/检索结果: 共151条，第1-10条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 面向Web应用的回归测试选择工具设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2021 作者:  敖泽柳   |  收藏  |  浏览/下载：25/0  |  提交时间：2021/06/11 软件测试  回归测试  回归测试选择  Web测试   内部人员异常行为检测分析及在金融领域的应用 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2020 作者:  刘堃   |  收藏  |  浏览/下载：57/0  |  提交时间：2021/01/05 内部威胁  规范建模  行为挖掘  异常检测  复杂事件   典型流式机器学习算法并行化设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2018 作者:  沈雯婷   |  收藏  |  浏览/下载：119/0  |  提交时间：2018/06/12 流式机器学习  增量学习  在线学习  流数据挖掘  并行化   基于深度学习的病人相似性度量工具的设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院大学, 2017 作者:  倪嘉志 收藏  |  浏览/下载：150/0  |  提交时间：2017/07/08 病人相似度  深度学习  度量学习  迁移学习   SandroidSat-1卫星姿态确定系统研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 赵晶晶   |  收藏  |  浏览/下载：18/0  |  提交时间：2016/06/01 纳方星  手机卫星  姿态确定系统  卡尔曼滤波器  扩展卡尔曼滤波器   New local search methods for partial MaxSAT 期刊论文  OAI收割 ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18 Cai, SW; Luo, CA; Lin, JK; Su, KL   |  收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09 Partial MaxSAT  Local search  Hard and soft score  Initialization   组合测试：测试生成、错误定位与应用 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2015 张智强   |  收藏  |  浏览/下载：18/0  |  提交时间：2015/06/30 组合测试  测试生成  错误定位   基于隐语义图谱的桌面搜索方法研究及应用 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2015 皇甫杨   |  收藏  |  浏览/下载：19/0  |  提交时间：2015/06/24 隐语义建模  图模型  信息检索  桌面搜索   基于树状线性规划搜索的单调速率优化设计 期刊论文  OAI收割 软件学报, 2015, 卷号: 26, 期号: 12, 页码: 3223-3241 陈力; 王永吉; 吴敬征; 吕荫润   |  收藏  |  浏览/下载：20/0  |  提交时间：2016/12/09 实时系统  单调速率  最优化  搜索算法  线性规划  可满足性模定理   基于公式学习的循环不变式的推导 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2014 哈晓琳   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/06/06 循环不变式  CDNF  机器学习  布尔公式学习算法  形式验证