中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	基于特征学习的目标检测与跟踪技术研究学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2017 作者: 贺先辉收藏 \| 浏览/下载：19/0 \| 提交时间：2017/05/27 特征描述，Haar-like特征，分类器，多实例，在线学习
	军事想定描述方法及其编辑工具研究学位论文 OAI收割工学硕士, 中国科学院自动化研究所: 中国科学院大学, 2013 作者: 武利娟收藏 \| 浏览/下载：553/0 \| 提交时间：2015/09/02 军事想定描述规范想定实例概念知识树 MSDL 5W1H JC3IEDM military scenario description specification scenario instance Conceptual Knowledge-Tree MSDL 5W1H JC3IEDM
	基于抽象解释的代码迷惑有效性比较框架期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 5, 页码: 806-814 高鹰; 陈意云收藏 \| 浏览/下载：68/6 \| 提交时间：2011/07/01 抽象解释程序变换程序分析代码迷惑压平算法抽象解释代码迷惑有效性证明比较框架非语义算法实例描述静态分析变换技术保护软件应用剖析逆向环境程序Algorithms Computer software Mobile agents Program diagnostics Security of data Semantics Static analysis
	一种基于构件的软件体系结构求精方法及其应用期刊论文 OAI收割重庆师范学院学报(自然科学版), 2003, 卷号: 20, 期号: 2, 页码: 1-5 晏荣杰; 张广泉 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2011/07/29 软件体系结构构件形式化描述求精 XYZ/E 基于构件软件体系结构方法及应用求精方法形式化描述时序逻辑语言研究领域描述语言开发实例基于行为工程学科风格