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

view all items

(Results 1-20 of 213)
Help
Items/Page:    Sort:
一种基于图像结构特征的实时点画生成算法 [会议论文]
第十二届中国计算机图形学大会, 中国广东省广州市, 2018年10月
柳有权;  张彩荣;  马雷;  陈彦云;  石剑;  孙昭
  |  View/Download:22/0
 
基于增量Voronoi 序列的即时彩色点画算法 [会议论文]
第十二届中国计算机图形学大会, 中国广东省广州市, 2018年10月
吴志超;  马雷;  陈彦云;  石剑;  徐丹
  |  View/Download:23/0
 
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:20/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:21/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:21/0
 
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:39/1
 
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:20/1
 
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:19/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:20/0
 
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:44/2
 
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:38/0
 
local search with edge weighting and configuration checking heuristics for minimum vertex cover [会议论文]
Cai Shaowei; Su Kaile; Sattar Abdul
  |  View/Download:40/1
 
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:25/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:19/0
 
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:24/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:22/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:22/0
 
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:27/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:26/0
 
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:48/1
 

 

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