Guiming Luo

Yuchao Wang

Future Gener. Comput. Syst., 2020

Parallel ensemble methods for causal direction inference.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Causal inference and Bayesian network structure learning from nominal data.

[BibT_eX]

[DOI]

Shiyuan Du

Appl. Intell., 2019

Reasoning of Causal Direction in Linear Model Based on Spearman's Rank Correlation Coefficient.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2019

A New Causal Direction Reasoning Method for Decision Making on Noisy Data.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Multi-Scale PointPillars 3D Object Detection Network.

[BibT_eX]

[DOI]

Hang Ya

Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

An Optimized Model Checking Parallel Algorithm Based on CUDA.

[BibT_eX]

[DOI]

Chaoqun Chu

Mingyang Zhang

Proceedings of the 18th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2019

2018

Classification and Visualization of Alarm Data Based on Heterogeneous Distance.

[BibT_eX]

[DOI]

Int. J. Data Warehous. Min., 2018

Improved State Space Model Using Iterative PSO for Unsteady Aerodynamic System at High AOA.

[BibT_eX]

[DOI]

Mengqi Jiang

Int. J. Cogn. Informatics Nat. Intell., 2018

Causal direction inference for air pollutants data.

[BibT_eX]

[DOI]

Yuefeng Cen

Comput. Electr. Eng., 2018

An Intelligent Analysis for Rural Settlement Distribution Based on Gaussian Mixture Models: A Case Study of Kengzi Village.

[BibT_eX]

[DOI]

Xi Yang

Proceedings of the 17th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2018

2017

Recursive prediction algorithm for non-stationary Gaussian Process.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Improved Boosting Model for Unsteady Nonlinear Aerodynamics based on Computational Intelligence.

[BibT_eX]

[DOI]

Jihong Zhu

Int. J. Cogn. Informatics Nat. Intell., 2017

Abstract Intelligence: Embodying and Enabling Cognitive Systems by Mathematical Engineering.

[BibT_eX]

[DOI]

Int. J. Cogn. Informatics Nat. Intell., 2017

Encoding Argumentation Semantics by Boolean Algebra.

[BibT_eX]

[DOI]

Zhou Jiang

IEICE Trans. Inf. Syst., 2017

Inferring causal directions from uncertain data.

[BibT_eX]

[DOI]

Weifeng Ma

Eng. Appl. Artif. Intell., 2017

Large Kernel Matters - Improve Semantic Segmentation by Global Convolutional Network.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Vision and Pattern Recognition, 2017

Model based formal design for MVB system.

[BibT_eX]

[DOI]

Ji Qi

Proceedings of the 16th IEEE International Conference on Cognitive Informatics & Cognitive Computing, 2017

2016

Verification of lean-kanban processes with probabilistic model checking.

[BibT_eX]

[DOI]

Int. J. Comput. Appl. Technol., 2016

Complex Networks Clustering for Lower Power Scan Segmentation in At-Speed Testing.

[BibT_eX]

[DOI]

Zhou Jiang

Kele Shen

IEICE Trans. Electron., 2016

An Alarm Correlation Algorithm Based on Similarity Distance and Deep Network.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computing Methodologies - 12th International Conference, 2016

Boolean Matrix Approach for Abstract Argumentation.

[BibT_eX]

[DOI]

Yucheng Chen

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2016

Counter-Transitivity in Argument Ranking Semantics.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

A weighted hybrid model for unsteady nonlinear aerodynamics.

[BibT_eX]

[DOI]

Jihong Zhu

Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

Deductive reasoning and computing based on propositional logic.

[BibT_eX]

[DOI]

Chongyuan Yin

Proceedings of the 15th IEEE International Conference on Cognitive Informatics & Cognitive Computing , 2016

2015

Short term power load prediction with knowledge transfer.

[BibT_eX]

[DOI]

Inf. Syst., 2015

Some Supplementaries to the Counting Semantics for Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

Attacker and Defender Counting Approach for Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

Argument Strength Computation Based on Satisfiability Degree and Agents' Beliefs.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual Meeting of the Cognitive Science Society, 2015

2014

Intelligent Modeling and Verification 2014.

[BibT_eX]

[DOI]

Xiaoyu Song

Xiaojing Yang

Krishnaiyan Thulasiraman

J. Appl. Math., 2014

Model Checking (k, d)-Markov Chain with ipLTL.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2014

Argument Ranking with Categoriser Function.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2014

Modeling and model checking by modular approach.

[BibT_eX]

[DOI]

Mian Sun

Proceedings of the 36th International Conference on Software Engineering, 2014

Counterexample-Guided Abstraction Refinement for Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Inferring Causal Directions in Errors-in-Variables Models.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Fast Algorithm for Non-Stationary Gaussian Process Prediction.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Computing Preferences Based on Agents' Beliefs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

Optimized symbolic model checking for component-based systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014

Formal verification for embedded software with cognitive environment modelling.

[BibT_eX]

[DOI]

Proceedings of the IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, 2014

2013

Intelligent Modeling and Verification.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Social Welfare Semantics for Value-Based Argumentation Framework.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2013

Automatic verification of transition systems with unspecified components.

[BibT_eX]

[DOI]

Ming Jin

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

An Entropy Based Method for Causal Discovery in Linear Acyclic Model.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 20th International Conference, 2013

Design and implementation of automatic verification for PLC systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013

Circuit delay computation based on ITTPN.

[BibT_eX]

[DOI]

Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013

2012

Response Surface Modeling by Local Kernel Partial Least Squares.

[BibT_eX]

[DOI]

Yu Liu

Proceedings of the Fifth International Symposium on Parallel Architectures, 2012

Direct translation of LTL formulas to Büchi automata.

[BibT_eX]

[DOI]

Xinye Lu

Proceedings of the 11th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2012

2011

An Algorithm for Satisfiability Degree Computation.

[BibT_eX]

Proceedings of the ECTA and FCTA 2011, 2011

Satisfiability Degree Theory for Temporal Logic.

[BibT_eX]

Proceedings of the ECTA and FCTA 2011, 2011

Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL.

[BibT_eX]

Proceedings of the ICEIS 2011, 2011

Argumentation framework with weighted argument structure.

[BibT_eX]

[DOI]

Jilong Wang

Bingsheng Wang

Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

Satisfiability degree computation for linear temporal logic.

[BibT_eX]

[DOI]

Yang Zhao

Proceedings of the 10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, 2011

2010

PLC Modeling and Checking Based on Formal Method.

[BibT_eX]

[DOI]

J. Softw. Eng. Appl., 2010

Satisfiability Degree Analysis for Transition System.

[BibT_eX]

[DOI]

Yang Zhao

Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

Adaptive Signal Processing for ARX System Disturbed by Complex Noise.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Computational Intelligence, 2010

Extend argumentation frameworks based on degree of attack.

[BibT_eX]

[DOI]

Bingsheng Wang

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

Generic cabling with restrictions based on ant colony algorithm.

[BibT_eX]

[DOI]

Yunlong Wang

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

Proposition matrix search algorithm for satisfiability degree computation.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

Frisch scheme identification for Errors-in-Variables systems.

[BibT_eX]

[DOI]

Dan Fan

Proceedings of the 9th IEEE International Conference on Cognitive Informatics, 2010

2009

Backtracking Search Algorithm for Satisfiability Degree Calculation.

[BibT_eX]

[DOI]

Chongyuan Yin

Pei Hu

Proceedings of the Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009

Computation of Satisfiability Degree Based on CNF.

[BibT_eX]

[DOI]

Pei Hu