机构

• 软件研究所 [7]

采集方式

• OAI收割 [7]

内容类型

• 期刊论文 [5]
• 会议论文 [2]

发表日期

• 2013 [1]
• 2011 [1]
• 2010 [1]
• 2009 [1]
• 2007 [2]
• 2001 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Symbolic termination analysis of solvable loops 期刊论文  OAI收割 JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49 Xu, Ming; Li, Zhi-Bin   |  收藏  |   approximate pairwise clustering for large data sets via sampling plus extension 期刊论文  OAI收割 Pattern Recognition, 2011, 卷号: 44, 期号: 2, 页码: 222-235 Wang Liang; Leckie Christopher; Kotagiri Ramamohanarao; Bezdek James   |  收藏  |   a computational proof of complexity of some restricted counting problems 期刊论文  OAI收割 Theoretical Computer Science, 2010, 页码: - Jin-Yi Cai; Pinyan Lu; Mingji Xia   |  收藏  |   an empirical study on bug assignment automation using chinese bug data 会议论文  OAI收割 3rd International Symposium on Empirical Software Engineering and Measurement, Lake Buena Vista, FL, OCT 15-16, Lin Zhongpeng; Shu Fengdi; Yang Ye; Hu Chenyong; Wang Qing   |  收藏  |   the complexity of dual models problem of propositional linear temporal logics 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2007, 卷号: 18, 期号: 7, 页码: 1573-1581 Wu Zhi-Lin; Zhang Wen-Hui   |  收藏  |   一种静态最少优先级分配算法 期刊论文  OAI收割 软件学报, 2007, 卷号: 18, 期号: 7, 页码: 1844-1854 邢建生; 王永吉; 刘军祥; 曾海涛   |  收藏  |   model checking value-passing processes 会议论文  OAI收割 8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07, Lin HM   |  收藏  |