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

Search Results

Help

Item hits: (Results 1-10 of 12)

Items/Page:    Sort:
LSG: A unified multi-dimensional latent semantic graph for personal information retrieval [会议论文]
15th International Conference on Web-Age Information Management, WAIM 2014, Macau, China, June 16, 2014 - June 18, 2014
Huangfu, Yang (1); Liu, Kuien (1); Zhang, Wen (1); Zhou, Peng (1); Wu, Yanjun (1); Wang, Qing (1); Zhu, Jia (4)

 
IdeaGraph plus: A Topic-Based Algorithm for Perceiving Unnoticed Events [会议论文]
IEEE 13th International Conference on Data Mining (ICDM), Dallas, TX, DEC 07-10, 2013
Zhang, Chen; Wang, Hao; Xu, Fanjiang; Hu, Xiaohui

 
formal based operation strategy design for collaborative shared teleoperation system [会议论文]
International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843
Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu
  |  
 
algorithms for computing weak bisimulation equivalence [会议论文]
3rd International Symposium on Theoretical Aspects of Software Engineering, Tianjin, PEOPLES R CHINA, JUL 29-31,
Li Weisong
  |  
 
一种基于图重写的计算机安全风险分析系统 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 8, 页码: 271-274
李娜; 谢冬青
  |  
 
核心化多级安全数据库系统未决提交事务日志写出依赖研究 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 8, 页码: 1438-1446
徐震; 张敏
  |  
 
model checking data consistency for cache coherence protocols [期刊论文]
Springer New York LLC, 2006-01-01, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775
Pan Hong; Lin Huimin; Lv Yi
  |  
 
extended symbolic transition graphs with assignment [会议论文]
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Deng WJ; Lin HM
  |  
 
基于系统级诊断理论的卫星网络故障诊断 [期刊论文]
电子学报, 2005-01-01, 卷号: 33, 期号: 11, 页码: 2066-2069
侯霞; 范植华; 胡刚
  |  
 
传值进程模型检测中诊断信息的生成 [期刊论文]
软件学报, 2003-01-01, 卷号: 14, 期号: 1, 页码: 40186
刘剑; 林惠民
  |  
 

1 2 next

 

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