中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

Item hits: (Results 1-5 of 5)

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 杨立; 左春; 王裕国 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In