CSpace

浏览/检索结果: 共13条,第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  
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  
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  
Normalized-scale Relations and Their Concept Lattices in Relational Databases 期刊论文
FUNDAMENTA INFORMATICAE, 2009, 卷号: 93, 期号: 4, 页码: 393-409
作者:  Lei, Yuxia;  Sui, Yuefei;  Cao, Cungen
收藏  |  浏览/下载:40/0  |  提交时间:2019/12/16
Relational databases  formal concept analysis  concept lattices  plain scaling  derived relations  normalized-scale relations  
A rough set approach to outlier detection 期刊论文
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2008, 卷号: 37, 期号: 5, 页码: 519-536
作者:  Jiang, Feng;  Sui, Yuefei;  Cao, Cungen
收藏  |  浏览/下载:40/0  |  提交时间:2019/12/16
outlier detection  rough sets  rough membership function  KDD  
Formal Concept Analysis in relational database and rough relational database 期刊论文
FUNDAMENTA INFORMATICAE, 2007, 卷号: 80, 期号: 4, 页码: 435-451
作者:  Jiang, Feng;  Sui, Yuefei;  Cao, Cungen
收藏  |  浏览/下载:41/0  |  提交时间:2019/12/16
Formal Concept Analysis  relational database model  rough relational database model  rough sets  
A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic 期刊论文
THEORETICAL COMPUTER SCIENCE, 2006, 卷号: 368, 期号: 1-2, 页码: 149-160
作者:  Zhang, Zaiyue;  Sui, Yuefei;  Cao, Cungen;  Wu, Guohua
收藏  |  浏览/下载:38/0  |  提交时间:2019/12/16
propositional modal logic  duzzy reasoning  formal system  soundness and completeness