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

Search Results

Help

Item hits: (Results 81-90 of 765)

Items/Page:    Sort:
Kolmogorov complexity and computably enumerable sets [期刊论文]
ANNALS OF PURE AND APPLIED LOGIC, 2013-01-01, 卷号: 164, 期号: 12, 页码: 1187-1200
Barmpalias, George; Li, Angsheng

 
Illustrating the disassembly of 3D models [期刊论文]
Computers and Graphics (Pergamon), 2013-01-01, 卷号: 37, 期号: 6, 页码: 574-581
Guo, Jianwei (1); Yan, Dong-Ming (1); Li, Er (4); Dong, Weiming (1); Wonka, Peter (2); Zhang, Xiaopeng (1)

 
FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs [期刊论文]
INFORMATION AND SOFTWARE TECHNOLOGY, 2013-01-01, 卷号: 55, 期号: 8, 页码: 1437-1449
Li, Bixin; Sun, Xiaobing; Keung, Jacky

 
Learning from evolution history to predict future requirement changes [会议论文]
2013 21st IEEE International Requirements Engineering Conference, RE 2013, Rio de Janeiro, Brazil, July 15, 2013 - July 19, 2013
Shi, Lin (1); Wang, Qing (1); Li, Mingshu (1)

 
Search based risk mitigation planning in project portfolio management [会议论文]
2013 International Conference on Software and Systems Process, ICSSP 2013, San Francisco, CA, United states, May 18, 2013 - May 19, 2013
Xiao, Junchao (1); Osterweil, Leon J. (2); Chen, Jie (1); Wang, Qing (1); Li, Mingshu (1)

 
LTL satisfiability checking revisited [会议论文]
20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013
Li, Jianwen (1); Zhang, Lijun (2); Pu, Geguang (1); Vardi, Moshe Y. (3); He, Jifeng (1)

 
Minimum cost collaborative sensing network with mobile phones [会议论文]
2013 IEEE International Conference on Communications, ICC 2013, Budapest, Hungary, June 9, 2013 - June 13, 2013
Lu, Xianling (1); Li, Deying (1); Xu, Biaofei (1); Chen, Wenping (1); Ding, Zhiming (3)

 
Evaluating community structure in the large network with random walks [会议论文]
2013 Science and Information Conference, SAI 2013, London, United kingdom, October 7, 2013 - October 9, 2013
Li, Jiankou (1)

 
Analysis of the key factors for software quality in crowdsourcing development: An empirical study on TopCoder.com [会议论文]
2013 IEEE 27th International Parallel and Distributed Processing Symposium Workshops and PhD Forum, IPDPSW 2013, Boston, MA, United states, May 20, 2013 - May 24, 2013
Li, Ke (1); Xiao, Junchao (1); Wang, Yongji (1); Wang, Qing (1)

 
An efficient map-matching mechanism for emergency scheduling and commanding [会议论文]
14th International Conference on Web-Age Information Management, WAIM 2013, Beidaihe, China, June 14, 2013 - June 16, 2013
Li, Yaguang (1); Liu, Kuien (1); Xu, Jiajie (1); He, Fengcheng (1)

 

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

 

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