中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 26)

Items/Page:    Sort:
基于启发式方法的带参系统形式化验证 [学位论文]
硕士, 北京: 中国科学院大学, 2016-05-24
段凯强
  |  
 
伪布尔问题的启发式方法及其应用 [学位论文]
硕士, 北京: 中国科学院研究生院, 2013-05-29
于宝新
  |  
 
基于带赋值符号迁移图的Monte Carlo模型检测 [学位论文]
硕士, 北京: 中国科学院研究生院, 2012-05-31
马明
  |  
 
基于启发式搜索的IP数据流分类方法的研究 [期刊论文]
小型微型计算机系统, 2012-01-01, 卷号: 33, 期号: 10, 页码: 2153-2157
武飞; 曾凡平; 熊能; 邓超强; 董齐兴

 
栅格环境光滑路径规划算法研究 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-05-31
柴佳伟
  |  
 
面向区域目标的成像遥感卫星任务规划研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-06-08
陈健
  |  
 
基于BDD的增量启发式搜索方法及其应用 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2009-06-04
徐艳艳
  |  
 
基于BDD的增量启发式方法及其应用 [学位论文]
硕士, 软件所5号楼337房: 中国科学院软件研究所计算机科学国家重点实验室, 2009-06-04
徐艳艳
  |  
 
近似骨架导向的归约聚类算法 [期刊论文]
电子与信息学报, 2009-01-01, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜; 李明楚; 江贺

 
TSP问题的脂肪计算复杂性与启发式算法设计 [期刊论文]
软件学报, 2009-01-01, 期号: 9, 页码: 2344-2351
江贺; 胡燕; 李强; 于红

 

1 2 3 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace