中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 计算机科学国家重点实验室  > 会议论文

view all items

(Results 1-20 of 211)
Help
Items/Page:    Sort:
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
  |  View/Download:7/2
 
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
  |  View/Download:2/0
 
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
  |  View/Download:2/0
 
high viscosity fluid simulation using particle-based method [会议论文]
IEEE International Symposium on Virtual Reality Innovations 2011, ISVRI 2011, Singapore, Singapore, March 19,
Chang Yuanzhang; Bao Kai; Zhu Jian; Wu Enhua
  |  View/Download:2/0
 
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
  |  View/Download:3/0
 
assisting the design of xml schema: diagnosing nondeterministic content models [会议论文]
13th Asia-Pacific Conference on Web Technology, APWeb 2011, Beijing, China, April 18,
Chen Haiming; Lu Ping
  |  View/Download:2/0
 
symbolic decision procedure for termination of linear programs [会议论文]
symbolic decision procedure for termination of linear programs, 北京, 2011
Xia Bican; Yang Lu; Zhan Naijun; Zhang Zhihai
  |  View/Download:3/0
 
searching for doubly self-orthogonal latin squares [会议论文]
17th International Conference on Principles and Practice of Constraint Programming, CP 2011, Perugia, Italy, September
Lu Runming; Liu Sheng; Zhang Jian
  |  View/Download:3/0
 
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
  |  View/Download:3/0
 
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
  |  View/Download:5/0
 
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
  |  View/Download:4/0
 
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
  |  View/Download:3/1
 
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
  |  View/Download:4/1
 
characterizations of locally testable linear- and affine-invariant families [会议论文]
17th Annual International Computing and Combinatorics Conference, COCOON 2011, Dallas, TX, United states, August 14,
Li Angsheng; Pan Yicheng
  |  View/Download:4/0
 
tuple density: a new metric for combinatorial test suites (nier track) [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Chen Baiqiang; Zhang Jian
  |  View/Download:5/0
 
the complexity and approximability of minimum contamination problems [会议论文]
Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo Japan, 2011
Li Angsheng; Tang Linqing
  |  View/Download:6/1
 
sketch-based design for green geometry and image deformation [会议论文]
sketch-based design for green geometry and image deformation, 北京, 2011
Sheng Bin; Meng Weiliang; Sun Hanqiu; Wu Enhua
  |  View/Download:4/0
 
simple power analysis attacks using chosen message against ecc hardware implementations [会议论文]
World Congress on Internet Security, WorldCIS-2011, London, United kingdom, 2-Feb
Li Huiyun; Wu Keke; Xu Guoqing; Yuan Hai; Luo Peng
  |  View/Download:3/0
 
local search with edge weighting and configuration checking heuristics for minimum vertex cover [会议论文]
Cai Shaowei; Su Kaile; Sattar Abdul
  |  View/Download:6/1
 
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
  |  View/Download:8/1
 

 

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