中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 3, 页码: 13
作者:  Cao, Cungen;  Hu, Lanxi;  Sui, Yuefei
收藏  |  浏览/下载：21/0  |  提交时间：2021/12/01
three-valued logic  multisequent  co-multisequent  monotonicity  Gentzen deduction system  
HAPE: A programmable big knowledge graph platform 期刊论文
INFORMATION SCIENCES, 2020, 卷号: 509, 页码: 87-103
作者:  Lu, Ruqian;  Fei, Chaoqun;  Wang, Chuanqing;  Gao, Shunfeng;  Qiu, Han;  Zhang, Songmao;  Cao, Cungen
收藏  |  浏览/下载：53/0  |  提交时间：2020/12/10
Big knowledge  Big knowledge system  Big knowledge graph  Knowledge graph browser  Knowledge graph operating system  Knowledge scripting language  Big knowledge security  
Reasoning and querying web-scale open data based on DL-Lite(A) in a divide-and-conquer way 期刊论文
JOURNAL OF WEB SEMANTICS, 2019, 卷号: 55, 页码: 122-144
作者:  Gu, Zhenzhen;  Zhang, Songmao;  Cao, Cungen
收藏  |  浏览/下载：79/0  |  提交时间：2019/08/16
DL-lite(A)  Open data  Semantic web  Knowledge base  Query answering  Divide-and-conquer  
A Seed-Based Method for Generating Chinese Confusion Sets 期刊论文
ACM TRANSACTIONS ON ASIAN AND LOW-RESOURCE LANGUAGE INFORMATION PROCESSING, 2016, 卷号: 16, 期号: 1, 页码: 16
作者:  Liu, Liangliang;  Cao, Cungen
收藏  |  浏览/下载：40/0  |  提交时间：2019/12/12
Confusion set  pattern matching  context probability  pinyin similarity  shape similarity  
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725
作者:  Cao, Cungen;  Sui, Yuefei;  Zhang, Zaiyue
收藏  |  浏览/下载：39/0  |  提交时间：2019/12/13
Hoare logic  recursive function  computable function  nonstandard model of Peano arithmetic  
The B-4-valued propositional Belnap-Dunn logic 期刊论文
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2015, 卷号: 28, 期号: 6, 页码: 2705-2713
作者:  Cao Cungen;  Chen Bo;  Sul Yuefei
收藏  |  浏览/下载：38/0  |  提交时间：2019/12/13
The Belnap-Dunn logic  unary connective  the soundness  the completeness  
A hybrid approach to outlier detection based on boundary region 期刊论文
PATTERN RECOGNITION LETTERS, 2011, 卷号: 32, 期号: 14, 页码: 1860-1870
作者:  Jiang, Feng;  Sui, Yuefei;  Cao, Cungen
收藏  |  浏览/下载：66/0  |  提交时间：2019/12/16
Outlier detection  Rough sets  Boundary  Distance  KDD  
A Chinese time ontology for the Semantic Web 期刊论文
KNOWLEDGE-BASED SYSTEMS, 2011, 卷号: 24, 期号: 7, 页码: 1057-1074
作者:  Zhang, Chunxia;  Cao, Cungen;  Sui, Yuefei;  Wu, Xindong
收藏  |  浏览/下载：67/0  |  提交时间：2019/12/16
Time ontology  Semantic Web  Chinese time ontology  Temporal entities  Temporal representation  
An information entropy-based approach to outlier detection in rough sets 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2010, 卷号: 37, 期号: 9, 页码: 6338-6344
作者:  Jiang, Feng;  Sui, Yuefei;  Cao, Cungen
收藏  |  浏览/下载：49/0  |  提交时间：2019/12/16
Information entropy  Outlier detection  Rough sets  Data mining  
Some issues about outlier detection in rough set theory 期刊论文
EXPERT SYSTEMS WITH APPLICATIONS, 2009, 卷号: 36, 期号: 3, 页码: 4680-4687
作者:  Jiang, Feng;  Sui, Yuefei;  Cao, Cungen
收藏  |  浏览/下载：44/0  |  提交时间：2019/12/16
Outlier detection  Rough sets  Distance metric  KDD