Search Results

Item hits: (Results 51-60 of 143)

Items/Page: 5101520253035404550556065707580859095100   Sort: SelectSubmitted Time AscendingSubmitted Time DescendingAuthor AscendingAuthor DescendingTitle AscendingTitle DescendingIssue Date AscendingIssue Date Descending
	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