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

Search Results

Help

Item hits: (Results 1-7 of 7)

Items/Page:    Sort:
finding data tractable description logics for computing a minimum cost diagnosis based on abox decomposition [期刊论文]
Tsinghua Science & Technology, 2010-01-01, 卷号: 15, 期号: 6, 页码: 623 - 632
Jianfeng Du; Guilin Qi; Jeff Z. Pan
  |  
 
a computational proof of complexity of some restricted counting problems [期刊论文]
Theoretical Computer Science, 2010-01-01, 页码: -
Jin-Yi Cai; Pinyan Lu; Mingji Xia
  |  
 
certificateless threshold ring signature [期刊论文]
Information Sciences, 2009-01-01, 卷号: 179, 期号: 20, 页码: 3685-3696
Shuang Chang; Duncan S. Wong; Yi Mu; Zhang Zhenfeng
  |  
 
a pen and speech-based storytelling system for chinese children [期刊论文]
Computers in Human Behavior, 2008-01-01, 卷号: 24, 期号: 6, 页码: 2507-2519
Danli Wang; Jie Li; Jie Zhang; Dai Guozhong
  |  
 
compositional properties of sequential processes [期刊论文]
Electronic Notes in Theoretical Computer Science, 2005-01-01, 卷号: 118, 期号: 4, 页码: 111-128
Zhan Naijun
  |  
 
a randomized rsa-based partially blind signature scheme for electronic cash [期刊论文]
Computers & Security, 2005-01-01, 卷号: 24, 期号: 1, 页码: 44-49
Tianjie Cao; Lin Dongdai; Rui Xue
  |  
 
complete inference systems for weak bisimulation equivalences in the [pi]-calculus [期刊论文]
Information and Computation, 2003-01-01, 卷号: 180, 期号: 1, 页码: 40207
Lin Huimin

 

1

 

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