中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
Community
计算机科学国家重点... [18]
作者
Language
Source
Project
Indexed
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 18)

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
  |  
 
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
  |  
 
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
  |  
 
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
  |  
 
auxiliary constructs for proving liveness in compassion discrete systems [会议论文]
8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, Singapore, Singapore, September
Long Teng; Zhang Wenhui
  |  
 
assume-guarantee reasoning with local specifications [会议论文]
12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, 40848
Lomuscio Alessio; Strulo Ben; Walker Nigel; Wu Peng
  |  
 
a shape feature based simplification method for deforming meshes [会议论文]
5th International Conference on Geometric Modeling and Processing, GMP 2008, Hangzhou, China, April 23,
Zhang Shixue; Wu Enhua
  |  
 

1 2 next

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