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

Search Results

Help

Item hits: (Results 1-10 of 15)

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)

 
DRETOM: Developer recommendation based on topic models for bug resolution [会议论文]
PROMISE, Lund, Sweden., 2012-9
Xie XH(谢锡浩); Zhang W(张文); Yang Y(杨叶); Wang Q(王青)
  |  
 
基于Bin的高质量k—D树构建算法 [会议论文]
第九届中国计算机图形学大会(Chinagraph‘2012), 成都, 2012
钱银玲; 梁晓; 张严辞

 
基于OpenCL的图像模糊化算法优化研究 [会议论文]
2011年全国高性能计算学术年会(HPC china2011), 济南, 2011
张樱; 张云泉; 龙国平

 
Measuring the Heterogeneity of Cross-company Dataset [会议论文]
Profes 2010, 爱尔兰,Limerick大学, 2010-6-22
Chen J(陈嘉); Yang Y(杨叶); Zhang W(张文); Gregory Gay
  |  
 
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
  |  
 
mimo techniques in cluster-based wireless sensor networks [会议论文]
8th Asia-Pacific Web Conference and Workshops (APWeb 2006), Harbin, PEOPLES R CHINA, JAN 16-18,
Li J; Gu Y; Zhang W; Zhao BH
  |  
 
mining quantitative associations in large database [会议论文]
7th Asia-Pacific Web Conference, Shanghai, PEOPLES R CHINA, MAR 29-APR
Hui CY; Wang YJ; Zhang BY; Yang Q; Wang Q; Zhou JH; He R; Yan Y
  |  
 
energy-efficient target localization based on a prediction model [会议论文]
International Conference on Embedded and Ubiquitous Computing, Nagasaki, JAPAN, DEC 06-09,
Gu Y; Zhang W; Liu HC; Zhao BH; Qu YG
  |  
 
schema homomorphism - an algebraic framework for schema matching [会议论文]
10th Asian Computing Science Conference, Kunming, PEOPLES R CHINA, DEC 07-09,
Zhang Z; Che HY; Shi PF; Sun Y; Gu J
  |  
 

1 2 next

 

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