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

Search Results

Help

Item hits: (Results 1-10 of 83)

Filters    
Items/Page:    Sort:
轨迹数据库中热门区域的发现 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 8, 页码: 1816-1835
刘奎恩; 肖俊超; 丁治明; 李明树

 
一种形式化的组件化软件过程建模方法 [期刊论文]
Journal of Software, 2011-01-01, 卷号: 22, 期号: 1, 页码: 1-16
翟健; 杨秋松; 肖俊超; 李明树

 
基于证据的可信软件过程评估方法 [期刊论文]
计算机科学与探索, 2011-01-01, 期号: 6, 页码: 501-512
杜晶; 杨叶; 王青; 李明树
  |  
 
生成诊断公式的有限状态进程等价验证 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 2, 页码: 344-347
李明
  |  
 
MOIR/HR:覆盖区域受限的热门区域挖掘 [期刊论文]
科学出版社(Science Press), 2010-01-01, 卷号: 47, 期号: z1, 页码: 455-458
刘奎恩; 丁治明; 李明树
  |  
 
近似骨架导向的归约聚类算法 [期刊论文]
电子与信息学报, 2009-01-01, 卷号: 31, 期号: 12, 页码: 2953-2957
宗瑜; 李明楚; 江贺

 
基于反馈机制的网格动态授权新模型 [期刊论文]
计算机学报, 2009-01-01, 卷号: 32, 期号: 11, 页码: 2187-2199
李明楚; 杨彬; 钟炜; 田琳琳; 江贺; 胡红钢
  |  
 
一种用于软件过程建模的适应性Agent协商 [期刊论文]
软件学报, 2009-01-01, 期号: 3, 页码: 557-566
黎]?李明树; 王青; 赵琛; 杜栓柱
  |  
 
平行六边形区域非均匀节点快速傅立叶变换 [期刊论文]
数值计算与计算机应用, 2009-01-01, 卷号: 30, 期号: 1, 页码: 58-69
李明亮; 李会元; 孙家昶
  |  
 
动态需求跟踪方法及跟踪精度问题研究 [期刊论文]
软件学报, 2009-01-01, 卷号: 20, 期号: 2, 页码: 177-192
李引; 李娟; 李明树
  |  
 

1 2 3 4 5 6 7 8 9 next

 

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