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

Search Results

Help

Item hits: (Results 1-5 of 5)

Filters    
Items/Page:    Sort:
LTL satisfiability checking revisited [会议论文]
20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013
Li, Jianwen (1); Zhang, Lijun (2); Pu, Geguang (1); Vardi, Moshe Y. (3); He, Jifeng (1)

 
a hash-tlb approach for mmu virtualization in xen/ia64 [会议论文]
IPDPS 2008 - 22nd IEEE International Parallel and Distributed Processing Symposium, Miami, FL, United states, April 14,
Zhang Xiantao; Xu Anthony X. F.; Li Qi; Yau David K. Y.; Qing Sihan; Zhang Huanguo
  |  
 
基于语义距离的K-最近邻分类方法 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 12, 页码: 2054-2062
杨立; 左春; 王裕国
  |  
 
面向服务的知识发现体系结构研究与实现 [期刊论文]
计算机学报, 2005-01-01, 卷号: 28, 期号: 4, 页码: 445-457
杨立; 左春; 王裕国
  |  
 
保险洪灾损失预测模型 [期刊论文]
计算机辅助设计与图形学学报, 2005-01-01, 卷号: 17, 期号: 11, 页码: 2523-2529
杨立; 左春; 王裕国
  |  
 

1

 

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