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

Search Results

Help

Item hits: (Results 1-10 of 15)

Items/Page:    Sort:
approximating linear order inference in owl 2 dl by horn compilation [会议论文]
2012 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2012, Macau, China, December 4, 2012 - December 7, 2012
Du Jianfeng; Qi Guilin; Pan Jeff Z.; Shen Yi-Dong

 
complete characterization of the ground-space structure of two-body frustration-free hamiltonians for qubits [期刊论文]
PHYSICAL REVIEW A, 2011-01-01, 卷号: 84, 期号: 4, 页码: -
Ji Zhengfeng; Wei Zhaohui; Zeng Bei

 
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
  |  
 
holographic algorithms by fibonacci gates [会议论文]
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
utilization bound for periodic task set with composite deadline [期刊论文]
Computers and Electrical Engineering, 2010-01-01, 卷号: 36, 期号: 6, 页码: 1101-1109
Min-Allah Nasro; Ali Ishtiaq; Xing Jiansheng; Wang Yongji
  |  
 
optimal infostation deployment for spatio-temporal information dissemination [会议论文]
15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, 37429
Xiong Yongping; Tian Rui; Ma Jian; Liu Yan; Sun Limin
  |  
 
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
  |  
 
a calculus for game-based security proofs [会议论文]
4th International Conference on Provable Security, ProvSec 2010, Malacca, Malaysia, 40829
Nowak David; Zhang Yu
  |  
 
holographic algorithms by fibonacci gates and holographic reductions for hardness [会议论文]
49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, Philadelphia, PA, United states, 40841
Cai Jin-Yi; Lu Pinyan; Xia Mingji
  |  
 
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-2019  中国科学院软件研究所 - Feedback
Powered by CSpace