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

Search Results

Help

Item hits: (Results 1-10 of 19)

Filters        
Items/Page:    Sort:
Deciding determinism of unary languages [期刊论文]
INFORMATION AND COMPUTATION, 2015-01-01, 卷号: 245, 页码: 181-196
Lu, P; Peng, FF; Chen, HM; Zheng, LX
  |  
 
towards practical abox abduction in large description logic ontologies [期刊论文]
International Journal on Semantic Web and Information Systems, 2012-01-01, 卷号: 8, 期号: 2, 页码: 1-33
Du Jianfeng; Qi Guilin; Shen Yi-Dong; Pan Jeff Z.

 
characterizations of one-way general quantum finite automata [期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 419, 页码: -
Lvzhou Li; Daowen Qiu; Xiangfu Zou; Lvjun Li; Lihua Wu; Paulo Mateus

 
a comparative study of tf*idf, lsi and multi-words for text classification [期刊论文]
Expert Systems with Applications, 2011-01-01, 卷号: 38, 期号: 3, 页码: 2758-2765
Zhang Wen; Yoshida Taketoshi; Tang Xijin
  |  
 
extending fuzzy soft sets with fuzzy description logics [期刊论文]
Knowledge-Based Systems, 2011-01-01, 卷号: 24, 期号: 7, 页码: 1096-1107
Jiang Yuncheng; Tang Yong; Chen Qimai; Liu Hai; Tang Jianchao
  |  
 
semantic operations of multiple soft sets under conflict [期刊论文]
Computers and Mathematics with Applications, 2011-01-01, 卷号: 62, 期号: 4, 页码: 1923-1939
Jiang Yuncheng; Tang Yong; Chen Qimai; Cao Zhanmao
  |  
 
reasoning and change management in modular fuzzy ontologies [期刊论文]
Expert Systems with Applications, 2011-01-01, 卷号: 38, 期号: 11, 页码: 13975-13986
Jiang Yuncheng; Tang Yong; Chen Qimai; Wang Ju
  |  
 
ehrenfeucht-fraisse games in finite set theory [期刊论文]
INFORMATION PROCESSING LETTERS, 2008-01-01, 卷号: 108, 期号: 1, 页码: 3-9
Zhou Xiang
  |  
 
facilitating formal specification acquisition by using recursive functions on context-free languages [期刊论文]
Knowledge-Based Systems, 2006-01-01, 卷号: 19, 期号: 2, 页码: 141-151
Chen Haiming; Yunmei Dong
  |  
 
a formal description of secimos operating system [期刊论文]
COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005-01-01, 卷号: 3685, 页码: 286-297
Zhou ZY; Liang B; Jiang L; Shi WC; He YP
  |  
 

1 2 next

 

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