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

Search Results

Help

Item hits: (Results 81-90 of 143)

Items/Page:    Sort:
computing most specific concept in description logic with transitive roles and existential restrictions [期刊论文]
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009-01-01, 卷号: 46, 期号: 6, 页码: 979-987
Jiang Yuncheng; Tang Suqin; Wang Ju; Zhou Shengming

 
an algebra of quantum processes [期刊论文]
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2009-01-01, 卷号: 10, 期号: 3, 页码: -
Ying Mingsheng; Feng Yuan; Duan Runyao; Ji Zhengfeng
  |  
 
opportunistic networks [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: 1, 页码: 124-137
Xiong Yong-Ping; Sun Li-Min; Niu Jian-Wei; Liu Yan

 
reversible watermarking with subliminal channel [会议论文]
10th International Workshop on Information Hiding, Santa Barbara, CA, MAY 19-21,
Zhao Xianfeng; Li Ning
  |  
 
fomatch: a fuzzy ontology-based semantic matching algorithm of publish/subscribe systems [会议论文]
International Conference on Computational Intelligence for Modelling, Control and Automation, Vienna, AUSTRIA, DEC 10-12,
Zhang Weiwei; Ma Jiangang; Ye Dan
  |  
 
finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints [会议论文]
10th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2008), Hanoi, VIETNAM, DEC 15-19,
Ma Feifei; Zhang Jian
  |  
 
lexicographical inference over inconsistent dl-based ontologies [会议论文]
2nd International Conference on Web Reasoning and Rule Systems, Karlsruhe, GERMANY, OCT 31-NOV
Du Jianfeng; Qi Guilin; Shen Yi-Dong
  |  
 
prioritizing default rules embedded in description logic knowledge base [会议论文]
9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 in conjunction with 2nd International Workshop on Advanced Internet Technology and Applications, AITA 2008, Phuket, Thailand, August 6,
Liu Shaohua; Yu Junsheng; Ma Yinglong; Zhang Xu; Liu Xiaoming; Su Hansheng
  |  
 
model-checking of web services choreography [会议论文]
4th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2008, Jhongli, Taiwan, 40878
Hongli Yang; Xiangpeng Zhao; Chao Cai; Zongyan Qiu
  |  
 
efficient consistent query answering based on attribute deletions [会议论文]
2008 International Symposium on Computer Science and its Applications, CSA 2008, Hobart, TAS, Australia, 40829
Liu Jie; Huang Fei; Ye Dan; Huang Tao
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 next

 

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