中国科学院软件研究所机构知识库
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
计算机科学国家重点... [24]
作者
Content Type
会议论文 [17]
期刊论文 [7]
Issued Date
2011 [24]
Language
中文 [1]
英语 [1]
Source
lecture no... [5]
formal asp... [2]
proceeding... [2]
theoretica... [2]
2011 inter... [1]
更多...
Project
Indexed
EI [24]
Spnsorship
assoc. com... [2]
acm spec. ... [1]
acm specia... [1]
agreement ... [1]
artificial... [1]
更多...
ISCAS OpenIR
Search Results
Help
Item hits:
(Results 1-10 of 24)
Filters
Indexed:EI
Community:计算机科学国家重点实验室
Issued Date:2011
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
a dynamic fault localization technique with noise reduction for java programs
[会议论文]
11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, 13-Jul-02
Xu Jian
;
Chan W.K.
;
Zhang Zhenyu
;
Tse T.H.
;
Li Shanping
  |  
a new spectral method on triangles
[会议论文]
8th International Conference on Spectral and High Order Methods, ICOSAHOM'09, Trondheim, Norway, 22-Jun-02
Li Youyun
;
Wang Li-Lian
;
Li Huiyuan
;
Ma Heping
  |  
cupping and diamond embeddings: a unifying approach
[会议论文]
7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, 27-Jun-02
Fang Chengling
;
Liu Jiang
;
Wu Guohua
  |  
combining strategies for xml retrieval
[会议论文]
9th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2010, Vught, Netherlands, 1-Dec
Gao Ning
;
Deng Zhi-Hong
;
Jiang Jia-Jian
;
Lv Sheng-Long
;
Yu Hang
  |  
compiling answer set programs into event-driven action rules
[会议论文]
11th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011, Vancouver, BC, Canada, 16-May-20
Zhou Neng-Fa
;
Shen Yi-Dong
;
You Jia-Huai
  |  
characterizing failure-causing parameter interactions by adaptive testing
[会议论文]
20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, 17-Jul-02
Zhang Zhiqiang
;
Zhang Jian
  |  
probabilistic model checking on propositional projection temporal logic
[会议论文]
International MultiConference of Engineers and Computer Scientists 2011, IMECS 2011, Kowloon, Hong kong, March 16,
Yang Xiaoxiao
  |  
program analysis: from qualitative analysis to quantitative analysis (nier track)
[会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Liu Sheng
;
Zhang Jian
  |  
determinacy and rewriting of conjunctive queries over unary database schemas
[会议论文]
26th Annual ACM Symposium on Applied Computing, SAC 2011, TaiChung, Taiwan, March 21,
Zheng Lixiao
;
Chen Haiming
  |  
dichotomy for holant* problems of boolean domain
[会议论文]
22nd Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2011, San Francisco, CA, United states, 23-Jan
Cai Jin-Yi
;
Lu Pinyan
;
Xia Mingji
  |  
1
2
3
next
Copyright © 2007-2021
中国科学院软件研究所
-
Feedback
Powered by
CSpace