中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 66)

Filters        
Items/Page:    Sort:
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
  |  
 
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
  |  
 
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
  |  
 
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
  |  
 
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
  |  
 
line drawings abstraction from 3d models [期刊论文]
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2011-01-01, 卷号: 6530, 期号: 1, 页码: 104-111
Zhao Shujie; Wu Enhua
  |  
 
subtyping algorithm of regular tree grammars with disjoint production rules [会议论文]
7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010, Natal, Brazil, September
Chen Lei; Chen Haiming
  |  
 
unbalanced graph partitioning [会议论文]
21st Annual International Symposium on Algorithms and Computations, ISAAC 2010, Jeju Island, Korea, Republic of, 40878
Li Angsheng; Zhang Peng
  |  
 
model checking linear duration invariants of networks of automata [会议论文]
3rd IPM International Conference on Fundamentals of Software Engineering, Conference, FSEN 2009, Kish Island, Iran, April 15,
Zhang Miaomiao; Liu Zhiming; Zhan Naijun
  |  
 

1 2 3 4 5 6 7 next

 

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