CSpace

浏览/检索结果: 共5条,第1-5条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
Contrary description logic: Gentzen deduction system 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11, 页码: 9
作者:  Li, Wei;  Sui, Yuefei;  Luo, Jie;  Chen, Bo
收藏  |  浏览/下载:55/0  |  提交时间:2019/12/10
description logics  contradictory  contrary  soundness  completeness  
Guest Editorial for ACM TECS Special Issue on Effective Divide-and-Conquer, Incremental, or Distributed Mechanisms of Embedded Designs for Extremely Big Data in Large-Scale Devices 期刊论文
ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 卷号: 16, 期号: 3, 页码: 2
作者:  Chen, Bo-Wei;  Ji, Wen;  Li, Zhu
收藏  |  浏览/下载:54/0  |  提交时间:2019/12/12
Geo-Conquesting Based on Graph Analysis for Crowdsourced Metatrails from Mobile Sensing 期刊论文
IEEE COMMUNICATIONS MAGAZINE, 2017, 卷号: 55, 期号: 1, 页码: 92-97
作者:  Chen, Bo-Wei;  Ji, Wen;  Rho, Seungmin
收藏  |  浏览/下载:37/0  |  提交时间:2019/12/12
Supervised Collaborative Filtering Based on Ridge Alternating Least Squares and Iterative Projection Pursuit 期刊论文
IEEE ACCESS, 2017, 卷号: 5, 页码: 6600-6607
作者:  Chen, Bo-Wei;  Ji, Wen;  Rho, Seungmin;  Gu, Yu
收藏  |  浏览/下载:39/0  |  提交时间:2019/12/12
Incomplete data analysis  privacy preservation  supervised collaborative filtering  collaborative filtering (CF)  alternating least squares (ALS)  supervised data imputation  data imputation  singular value decomposition (SVD)  supervised nonnegative matrix factorization (NMF)  recommendation system  low-rank matrix approximation  matrix completion  matrix factorization  iterative projection pursuit  
Contrary description logic: Gentzen deduction system 期刊论文
中国科学:信息科学(英文版), 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:  Li Wei;  Sui Yuefei;  Luo Jie;  Chen Bo
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
描述逻辑  演绎系统  构造函数    语义