中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共14条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Monotonicity and nonmonotonicity in L-3-valued propositional logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2022, 卷号: 16, 期号: 4, 页码: 11
作者:  Li, Wei;  Sui, Yuefei
收藏  |  浏览/下载：36/0  |  提交时间：2022/06/21
sequent  multisequent  gentzen deduction system  monotonicity  nonmonotonicity  
Variant quantifiers in L-3-valued first-order logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 5, 页码: 9
作者:  Li, Wei;  Sui, Yuefei
收藏  |  浏览/下载：23/0  |  提交时间：2022/06/21
L(3)-valued (three-valued) first-order logic  sequent  quantifier  soundness theorem  completeness theorem  
Nonmonotonic propositional logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 3, 页码: 2
作者:  Li, Wei;  Sui, Yuefei;  Wang, Yuhui
收藏  |  浏览/下载：26/0  |  提交时间：2021/12/01
Softly Associative Transfer Learning for Cross-Domain Classification 期刊论文
IEEE TRANSACTIONS ON CYBERNETICS, 2020, 卷号: 50, 期号: 11, 页码: 4709-4721
作者:  Wang, Deqing;  Lu, Chenwei;  Wu, Junjie;  Liu, Hongfu;  Zhang, Wenjie;  Zhuang, Fuzhen;  Zhang, Hui
收藏  |  浏览/下载：38/0  |  提交时间：2021/12/01
Task analysis  Knowledge transfer  Matrix decomposition  Bridges  Optimization  Data models  Feature extraction  Cross-domain text classification  non-negative matrix tri-factorizations (NMTFs)  softly associative transfer learning (sa-TL)  
EDOA: an efficient delay optimization approach for mixed-polarity Reed-Muller logic circuits under the unit delay model 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 期号: 5, 页码: 1102-1115
作者:  He, Zhenxue;  Xiao, Limin;  Gu, Fei;  Ruan, Li;  Huo, Zhisheng;  Li, Mingzhe;  Zhu, Mingfa;  Zhang, Longbing;  Liu, Rui;  Wang, Xiang
收藏  |  浏览/下载：269/0  |  提交时间：2019/08/16
delay optimization  mixed-polarity Reed-Muller logic circuits  unit delay model  don't-care terms  Huffman tree construction algorithm  
A computational framework for Karl Popper's logic of scientific discovery 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 4, 页码: 10
作者:  Li, Wei;  Sui, Yuefei
收藏  |  浏览/下载：43/0  |  提交时间：2019/12/10
belief revision  logic of scientific discovery  approximate deduction  approximation algorithms  feasible computation  
MEMN:Multiple Vectors Embedding for Multi-Label Networks 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 66143-66152
作者:  Pu, Juhua;  Liu, Zhuang;  Chen, Yujun;  Liu, Xingwu
收藏  |  浏览/下载：49/0  |  提交时间：2019/04/03
Network embedding  multiple vectors  multi-label classification  link prediction  
Partial Sorting Problem on Evolving Data 期刊论文
ALGORITHMICA, 2017, 卷号: 79, 期号: 3, 页码: 960-983
作者:  Huang, Qin;  Liu, Xingwu;  Sun, Xiaoming;  Zhang, Jialin
收藏  |  浏览/下载：44/0  |  提交时间：2019/12/12
The propositional normal default logic and the finite/infinite injury priority method 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 9, 页码: 10
作者:  Li, Wei;  Sui, Yuefei;  Wang, Yuhui
收藏  |  浏览/下载：43/0  |  提交时间：2019/12/12
default  extension  strong extension  finite/infinite injury priority method  recursively enumerable sets  
An efficient and fast polarity optimization approach for mixed polarity Reed-Muller logic circuits 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2017, 卷号: 11, 期号: 4, 页码: 728-742
作者:  He, Zhenxue;  Xiao, Limin;  Gu, Fei;  Xia, Tongsheng;  Su, Shubin;  Huo, Zhisheng;  Zhang, Rong;  Zhang, Longbing;  Ruan, Li;  Wang, Xiang
收藏  |  浏览/下载：75/0  |  提交时间：2019/12/12
genetic algorithm  polarity optimization  mixed polarity Reed-Muller  polarity conversion sequence  hybrid genetic algorithm