中国科学院软件研究所机构知识库
Log In
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password?
Stay signed in
Log In
ALL
Title
Author
Keyword
Sponsors
Type
Publication date
Submitted Time
Subject
Conference Name
Source
Categories
KOS Subject
Advisor
ORCID
Advanced
在结果中检索
Communities
Subjects
All Items
Community
软件所图书馆 [7]
软件工程技术研究开发... [2]
基础软件国家工程研究... [2]
计算机科学国家重点实... [1]
作者
Content Type
期刊论文 [7]
会议论文 [5]
Issued Date
Language
中文 [4]
英语 [3]
Source
acl-hlt 20... [1]
internatio... [1]
jisuanji x... [1]
jisuanji y... [1]
journal of... [1]
更多...
Project
Indexed
EI [10]
SCI [1]
SCIENCEDIR... [1]
WANFANG [1]
Spnsorship
assoc. com... [1]
google; ba... [1]
int. assoc... [1]
university... [1]
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 12)
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Submitted Time Ascending
Submitted Time Descending
Title Ascending
Title Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
automatically generated formal specification based on the problem decomposition tree
[期刊论文]
Qinghua Daxue Xuebao/Journal of Tsinghua University, 2012-01-01, 卷号: 52, 期号: SUPPL.1, 页码: 88-92
Wang Changjing
a generative entity-mention model for linking entities with knowledge base
[会议论文]
49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, ACL-HLT 2011, Portland, OR, United states, June 19, 2011 - June 24, 2011
Han Xianpei
;
Sun Le
knowledge guided software trustworthiness requirements elicitation
[期刊论文]
Jisuanji Xuebao/Chinese Journal of Computers, 2011-01-01, 卷号: 34, 期号: 11, 页码: 2165-2175
Wang Yue
;
Liu Chun
;
Zhang Wei
;
Jin Zhi
collective entity linking in web text: a graph-based method
[会议论文]
34th International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'11, Beijing, China, 24-Jul-02
Han Xianpei
;
Sun Le
;
Zhao Jun
  |  
extending description logics with uncertainty reasoning in possibilistic logic
[期刊论文]
International Journal of Intelligent Systems, 2011-01-01, 卷号: 26, 期号: 4, 页码: 353-381
Qi Guilin
;
Ji Qiu
;
Pan Jeff Z.
;
Du Jianfeng
  |  
action reasoning independent of designer
[期刊论文]
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009-01-01, 卷号: 46, 期号: 11, 页码: 1917-1924
Zhou Shengming
;
Wang Ju
;
Jiang Yuncheng
vnida: building an ids architecture using vmm-based non-intrusive approach
[会议论文]
1st International Workshop on Knowledge Discovery and Data Mining, WKDD, Adelaide, Australia, 40566
Zhang Xiantao
;
Li Qi
;
Qing Sihan
;
Zhang Huanguo
  |  
a prioritized default extension to description logic knowledge base
[会议论文]
5th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, Jinan, Shandong, China, 40834
Liu Shaohua
;
Yu Junsheng
;
Ma Yinglong
;
Xu Bing
;
Mai Yuan
;
Zhou Min
  |  
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
  |  
knowledge-based support for object-oriented software design and synthesis: a category theoretic approach
[期刊论文]
Journal of Digital Information Management, 2007-01-01, 卷号: 5, 期号: 3, 页码: 115-122
Zheng Yujun
;
Xue Jinyun
;
Hu Qimin
  |  
1
2
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace