中国科学院软件研究所机构知识库
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
软件所图书馆 [17]
信息安全国家重点实验... [1]
作者
Content Type
会议论文 [13]
期刊论文 [5]
Issued Date
Language
英语 [14]
中文 [3]
Source
lecture no... [3]
ruan jian ... [3]
artificial... [1]
icsess 201... [1]
parallel a... [1]
更多...
Project
Indexed
EI [18]
Spnsorship
ai journal... [1]
associatio... [1]
can. hum.-... [1]
ieee beiji... [1]
machine in... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 11-18 of 18)
Filters
Indexed:EI
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Author Ascending
Author Descending
Title Ascending
Title Descending
Issue Date Ascending
Issue Date Descending
Submitted Time Ascending
Submitted Time Descending
web service schema matching based on invocation instance duplicates
[会议论文]
2011 7th International Conference on Next Generation Web Services Practices, NWeSP 2011, Salamanca, Spain, October 19, 2011 - October 21, 2011
Wang Ke
;
Ou Wei-Jie
;
Zeng Cheng
;
Li De-Yi
;
Peng Zhi-Yong
extending logic programs with description logic expressions for the semantic web
[会议论文]
10th International Semantic Web Conference, ISWC 2011, Bonn, Germany, October 23
Shen Yi-Dong
;
Wang Kewen
openblas: a high performance blas library on loongson 3a cpu
[期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: UPPL. 2, 页码: 208-216
Zhang Xian-Yi
;
Wang Qian
;
Zhang Yun-Quan
a user model based on mobile environment
[期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2011-01-01, 卷号: 22, 期号: UPPL. 2, 页码: 120-128
Du Yi
;
Tian Feng
;
Dai Guo-Zhong
;
Wang Feng
;
Wang Hong-An
the loop formula based semantics of description logic programs
[期刊论文]
Theoretical Computer Science, 2011-01-01, 卷号: 415, 页码: -
Yisong Wang
;
Jia-Huai You
;
Li Yan Yuan
;
Yi-Dong Shen
;
Mingyi Zhang
depsim: a dependency-based malware similarity comparison system
[会议论文]
6th China International Conference on Information Security and Cryptology, Inscrypt 2010, Shanghai, China, 20-Oct
Yi Yang
;
Lingyun Ying
;
Rui Wang
;
Purui Su
;
Dengguo Feng
  |  
fast complete memory consistency verification
[会议论文]
2008 IEEE International Conference on Mechatronics and Automation, ICMA 2008, Takamatsu, Japan, August 5,
Yunji Chen
;
Yi Lv
;
Weiwu Hu
;
Tianshi Chen
;
Haihua Shen
;
Pengyu Wang
;
Hong Pan
perceptual-control-based agent architecture model
[期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2009-01-01, 卷号: 20, 期号: SUPPL. 1, 页码: 76-83
Hua Qing-Yi
;
Liu Qing-Fang
;
Yu Di
;
Wang Xiao-Wen
previous
1
2
Copyright © 2007-2022
中国科学院软件研究所
-
Feedback
Powered by
CSpace