中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Issued Date
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 15)

Items/Page:    Sort:
mode switching techniques through pen and device profiles [会议论文]
10th Asia-Pacific Conference on Computer-Human Interaction, APCHI 2012, Matsue-city, Shimane, Japan, August 28, 2012 - August 31, 2012
Tu Huawei; Yang Xing-Dong; Wang Feng; Tian Feng; Ren Xiangshi

 
基于随机背包的公钥密码 [期刊论文]
电子与信息学报, 2010-01-01, 卷号: 32, 期号: 7, 页码: 1580-1584
王保仓; 韦永壮; 胡予濮
  |  
 
holographic algorithms with matchgates capture precisely tractable planar #csp [会议论文]
2010 IEEE 51st Annual Symposium on Foundations of Computer Science, FOCS 2010, Las Vegas, NV, United states, 40839
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
approximation and hardness results for label cut and related problems [会议论文]
6th Annual Conference on Theory and Applications of Models of Computation, TAMC 2009, Changsha, China, 43969
Zhang Peng; Cai Jin-Yi; Tang Linqing; Zhao Wenbo

 
checking timed buchi automata emptiness using lu-abstractions [学位论文]
, 2009-01-01
Li Guangyuan

 
decidability of weak bisimilarity for a subset of bpa [期刊论文]
Electronic Notes in Theoretical Computer Science, 2008-01-01, 卷号: 212, 期号: C, 页码: 241-255
Chen Haiyan
  |  
 
deforming surface simplification based on feature preservation [会议论文]
6th International Conference of Entertainment Computing, ICEC 2007, Shanghai, China, September
Shixue Zhang; Enhua Wu
  |  
 
volume computation using a direct monte carlo method [会议论文]
13th Annual International Conference on Computing and Combinatorics (COCOON 2007), Banff, CANADA, 44028
Liu Sheng; Zhang Jian; Zhu Binhai
  |  
 
on the complexity and approximation of the min-sum and min-max disjoint paths problems [会议论文]
1st International Conference on Combinatorics, Algorithms, Probabilistic and Experimental Methodologies, Hangzhou, PEOPLES R CHINA, APR 07-09,
Zhang Peng; Zhao Wenbo
  |  
 
enhancing simulation for checking language containment [会议论文]
4th International Conference on Theory and Applications of Models of Computation, Shanghai, PEOPLES R CHINA, MAY 22-25,
Yi Jin; Zhang Wenhui
  |  
 

1 2 next

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