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

Search Results

Help

Item hits: (Results 41-50 of 2063)

Items/Page:    Sort:
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)

 
A tractable approach to ABox abduction over description logic ontologies [会议论文]
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
Du, Jianfeng (1); Wang, Kewen (2); Shen, Yi-Dong (3)

 
Research on knowledge service oriented expert management system [会议论文]
2013 International Forum on Computer and Information Technology, IFCIT 2013, Shenzhen, China, December 24, 2013 - December 25, 2013
Wu, Su Yan (1); Li, Wen Bo (2)

 
A refinement calculus for hybrid systems [会议论文]
2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, August 4, 2014 - August 7, 2014
Gu, Bin (1); Zou, Liang (2)

 
Cross-domain metric learning based on information theory [会议论文]
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
Wang, Hao (1); Wang, Wei (2); Zhang, Chen (2); Xu, Fanjiang (2)

 
Large scale satellite imagery simulations with physically based ray tracing on tianhe-1A supercomputer [会议论文]
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
Wu, Changmao (1); Zhang, Yunquan (2); Yang, Congli (1)

 
A multi-stage method to extract road from high resolution satellite image [会议论文]
35th International Symposium on Remote Sensing of Environment, ISRSE 2013, Beijing, China, April 22, 2013 - April 26, 2013
Zhijian, Huang (1); Zhang, Jinfang (2); Xu, Fanjiang (2)

 

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

 

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