中国科学院计算技术研究所机构知识库

浏览/检索结果: 共3条，第1-3条

帮助

限定条件	发表日期：2016    文献类型：期刊论文

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	Support vector analysis of large-scale data based on kernels with iteratively increasing order 期刊论文 JOURNAL OF SUPERCOMPUTING, 2016, 卷号: 72, 期号: 9, 页码: 3297-3311 作者:  Chen, Bo-Wei;  He, Xinyu;  Ji, Wen;  Rho, Seungmin;  Kung, Sun-Yuan 收藏  |  浏览/下载：39/0  |  提交时间：2019/12/13 Support vector analysis  Big data analysis  Kernel ridge regression (KRR)  Ridge support vector machine (Ridge SVM)
	Completeness of Hoare logic with inputs over the standard model 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28 作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui 收藏  |  浏览/下载：41/0  |  提交时间：2019/12/13 Hoare logic  Peano arithmetic  The standard model  Computation  Arithmetical definability  Logical completeness
	An improved monkey algorithm for a 0-1 knapsack problem 期刊论文 APPLIED SOFT COMPUTING, 2016, 卷号: 38, 页码: 817-830 作者:  Zhou, Yongquan;  Chen, Xin;  Zhou, Guo 收藏  |  浏览/下载：41/0  |  提交时间：2019/12/13 Monkey algorithm  Binary version of the monkey algorithm  Knapsack problem  Cooperation process  Greedy strategy