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

Search Results

Help

Item hits: (Results 51-60 of 143)

Items/Page:    Sort:
some improvements on model checking coreasm models of security protocols [会议论文]
2nd International Symposium on Data, Privacy and E-Commerce, ISDPE 2010, Buffalo, NY, United states, September
Zhao Zhenju; Liu Feng; Peng Jianhua; Huang Danqing; Xue Rui; Zhang Zhenfeng
  |  
 
revisiting the power and equivalence of one-way quantum finite automata [会议论文]
6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18,
Li Lvzhou; Qiu Daowen
  |  
 
the lower bound on the second-order nonlinearity of a class of boolean functions with high nonlinearity [会议论文]
Applicable Algebra in Engineering, Communications and Computing, 北京, 2010
Sun Guanghong; Wu Chuankun
  |  
 
multi-error-correcting amplitude damping codes [会议论文]
2010 IEEE International Symposium on Information Theory, ISIT 2010, Austin, TX, United states, 37420
Duan Runyao; Grassl Markus; Ji Zhengfeng; Zeng Bei
  |  
 
quantwiz: a scalable parallel software package for label-free protein quantification [会议论文]
2010 IEEE 5th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2010, Changsha, China, September
Wang Jing; Zhang Yunquan; Zhang Xianyi; Sun Xiangzheng; Quanhu Sheng
  |  
 
qip = pspace [会议论文]
42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, MA, United states, 43987
Jain Rahul; Ji Zhengfeng; Upadhyay Sarvagya; Watrous John
  |  
 
research on a software trustworthy measure model [会议论文]
2nd International Conference on Networks Security, Wireless Communications and Trusted Computing, NSWCTC 2010, Wuhan, Hubei, China, April 24,
Yu Benhai; Wang Qing; Yang Ye
  |  
 
improving phrase-based smt model with flattened bilingual parse tree [会议论文]
6th International Conference on Natural Language Processing and Knowledge Engineering, NLP-KE 2010, Beijing, China, August 21,
Zhang Dakun; Sun Le; Li Wenbo
  |  
 
optimization method for mixed constraints problem solving [会议论文]
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010, Xiamen, China, 40845
Ji Xiaohui; Huang Zhuo
  |  
 
property checking for 1-place-unbounded petri nets [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Wang Yunhe; Jiang Bo; Jiao Li
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 next

 

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