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

Search Results

Help

Item hits: (Results 141-150 of 1992)

Filters    
Items/Page:    Sort:
Quantum search algorithm based on fuzzy problem [会议论文]
2013 3rd International Conference on Advanced Materials and Information Technology Processing, AMITP 2013, Los Angeles, CA, United states, October 1, 2013 - October 2, 2013
Zhuang, Jiayu (1); Zhao, Junsuo (1); Xu, Fanjiang (1); Zhan, Wenjun (1); Li, Dan (1); Zhang, Heng (1)

 
Tailoring local search for partial MaxSAT [会议论文]
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Cai, Shaowei (1); Luo, Chuan (3); Thornton, John (4); Su, Kaile (4)

 
Fast symmetric pairing revisited [会议论文]
6th International Conference on Pairing-Based Cryptography, Pairing 2013, Beijing, China, November 22, 2013 - November 24, 2013
Zhang, Xusheng (1); Wang, Kunpeng (2)

 
Bisimulations and logical characterizations on continuous-time markov decision processes [会议论文]
15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014, San Diego, CA, United states, January 20, 2014 - January 21, 2014
Song, Lei (1); Zhang, Lijun (2); Godskesen, Jens Chr. (3)

 
CLSIFT: An optimization study of the scale invariance feature transform on GPUs [会议论文]
15th IEEE International Conference on High Performance Computing and Communications, HPCC 2013 and 11th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2013, Zhangjiajie, Hunan, China, November 13, 2013 - November 15, 2013
Wang, Weiyan (1); Zhang, Yunquan (1); Guoping, Long (1); Yan, Shengen (1); Jia, Haipeng (1)

 
Memory-constrained static rate-optimal scheduling of synchronous dataflow graphs via retiming [会议论文]
17th Design, Automation and Test in Europe, DATE 2014, Dresden, Germany, March 24, 2014 - March 28, 2014
Zhu, Xue-Yang (1); Geilen, Marc (2); Basten, Twan (2); Stuijk, Sander (2)

 
Double configuration checking in stochastic local search for satisfiability [会议论文]
28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014
Luo, Chuan (1); Cai, Shaowei (2); Wu, Wei (1); Su, Kaile (1)

 
Improved Davies-Murphy's attack on des revisited [会议论文]
6th International Symposium on Foundations and Practice of Security, FPS 2013, La Rochelle, France, October 21, 2013 - October 22, 2013
Lu, Yi (1); Desmedt, Yvo (2)

 
Metrics for differential privacy in concurrent systems [会议论文]
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Xu, Lili (1); Chatzikokolakis, Konstantinos (2); Lin, Huimin (4)

 
ExBLACR: Extending BLACR system [会议论文]
19th Australasian Conference on Information Security and Privacy, ACISP 2014, Wollongong, NSW, Australia, July 7, 2014 - July 9, 2014
Wang, Weijin (1); Feng, Dengguo (1); Qin, Yu (1); Shao, Jianxiong (1); Xi, Li (1); Chu, Xiaobo (1)

 

previous 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 next

 

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