Guiming Luo

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 35

Top Topics

Abstract Argumentation

Transition Systems

Boolean Algebra

Top Venues

Int. J. Cogn. Informatics Nat. Intell.

Publications

Yunhui Han, Kunming Luo, Ao Luo, Jiangyu Liu, Haoqiang Fan, Guiming Luo, Shuaicheng Liu
RealFlow: EM-Based Realistic Optical Flow Dataset Generation from Videos. ECCV (19) (2022)
Yunhui Han, Kunming Luo, Ao Luo, Jiangyu Liu, Haoqiang Fan, Guiming Luo, Shuaicheng Liu
RealFlow: EM-based Realistic Optical Flow Dataset Generation from Videos. CoRR (2022)
Witold Kinsner, Haibin Zhu, George Baciu, Guiming Luo, Fernando Rubio, Jie Sui, Runhe Huang, Hironori Hiraishi, Jun Peng, Liang Chen
IEEE ICCI*CC Series in Year 20: Latest Advances in Cognitive Computing (Plenary Panel Report-II). ICCI*CC (2021)
Yulai Zhang, Jiachen Wang, Gang Cen, Guiming Luo
Parallel ensemble methods for causal direction inference. CoRR (2020)
Yulai Zhang, Yuchao Wang, Guiming Luo
A new optimization algorithm for non-stationary time series prediction based on recurrent neural networks. Future Gener. Comput. Syst. 102 (2020)
Guiming Luo, Boxu Zhao, Shiyuan Du
Causal inference and Bayesian network structure learning from nominal data. Appl. Intell. 49 (1) (2019)
Boxu Zhao, Guiming Luo
A New Causal Direction Reasoning Method for Decision Making on Noisy Data. IV (2019)
Hang Ya, Guiming Luo
Multi-Scale PointPillars 3D Object Detection Network. ICCI*CC (2019)
Boxu Zhao, Guiming Luo
Reasoning of Causal Direction in Linear Model Based on Spearman's Rank Correlation Coefficient. KSEM (2) (2019)
Chaoqun Chu, Guiming Luo, Mingyang Zhang
An Optimized Model Checking Parallel Algorithm Based on CUDA. ICCI*CC (2019)
Xi Yang, Fuan Pu, Guiming Luo
An Intelligent Analysis for Rural Settlement Distribution Based on Gaussian Mixture Models: A Case Study of Kengzi Village. ICCI*CC (2018)
Guiming Luo, Boxu Zhao, Mengqi Jiang
Improved State Space Model Using Iterative PSO for Unsteady Aerodynamic System at High AOA. Int. J. Cogn. Informatics Nat. Intell. 12 (3) (2018)
Yulai Zhang, Yuefeng Cen, Guiming Luo
Causal direction inference for air pollutants data. Comput. Electr. Eng. 68 (2018)
Boxu Zhao, Guiming Luo
Classification and Visualization of Alarm Data Based on Heterogeneous Distance. Int. J. Data Warehous. Min. 14 (2) (2018)
Yulai Zhang, Guiming Luo
Recursive prediction algorithm for non-stationary Gaussian Process. J. Syst. Softw. 127 (2017)
Yulai Zhang, Weifeng Ma, Guiming Luo
Inferring causal directions from uncertain data. Eng. Appl. Artif. Intell. 65 (2017)
Yingxu Wang, Lotfi A. Zadeh, Bernard Widrow, Newton Howard, Françoise Beaufays, George Baciu, D. Frank Hsu, Guiming Luo, Fumio Mizoguchi, Shushma Patel, Victor Raskin, Shusaku Tsumoto, Wei Wei, Du Zhang
Abstract Intelligence: Embodying and Enabling Cognitive Systems by Mathematical Engineering. Int. J. Cogn. Informatics Nat. Intell. 11 (1) (2017)
Ji Qi, Guiming Luo
Model based formal design for MVB system. IEEE ICCI*CC (2017)
Fuan Pu, Guiming Luo, Zhou Jiang
Encoding Argumentation Semantics by Boolean Algebra. IEICE Trans. Inf. Syst. (4) (2017)
Chao Peng, Xiangyu Zhang, Gang Yu, Guiming Luo, Jian Sun
Large Kernel Matters - Improve Semantic Segmentation by Global Convolutional Network. CVPR (2017)
Boxu Zhao, Guiming Luo, Jihong Zhu
Improved Boosting Model for Unsteady Nonlinear Aerodynamics based on Computational Intelligence. Int. J. Cogn. Informatics Nat. Intell. 11 (1) (2017)
Chao Peng, Xiangyu Zhang, Gang Yu, Guiming Luo, Jian Sun
Large Kernel Matters - Improve Semantic Segmentation by Global Convolutional Network. CoRR (2017)
Boxu Zhao, Guiming Luo
An Alarm Correlation Algorithm Based on Similarity Distance and Deep Network. ICIC (3) (2016)
Zhou Jiang, Guiming Luo, Kele Shen
Complex Networks Clustering for Lower Power Scan Segmentation in At-Speed Testing. IEICE Trans. Electron. (9) (2016)
Boxu Zhao, Guiming Luo, Jihong Zhu
A weighted hybrid model for unsteady nonlinear aerodynamics. ICCI*CC (2016)
Guiming Luo, Chongyuan Yin
Deductive reasoning and computing based on propositional logic. ICCI*CC (2016)
Fuan Pu, Jian Luo, Guiming Luo
Counter-Transitivity in Argument Ranking Semantics. AAAI (2016)
Fuan Pu, Guiming Luo, Yucheng Chen
Boolean Matrix Approach for Abstract Argumentation. EUMAS/AT (2016)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Verification of lean-kanban processes with probabilistic model checking. Int. J. Comput. Appl. Technol. 53 (4) (2016)
Fuan Pu, Jian Luo, Guiming Luo
Some Supplementaries to the Counting Semantics for Abstract Argumentation. ICTAI (2015)
Jian Luo, Fuan Pu, Guiming Luo
Argument Strength Computation Based on Satisfiability Degree and Agents' Beliefs. CogSci (2015)
Yulai Zhang, Guiming Luo
Short term power load prediction with knowledge transfer. Inf. Syst. 53 (2015)
Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo
Attacker and Defender Counting Approach for Abstract Argumentation. CogSci (2015)
Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo
Attacker and Defender Counting Approach for Abstract Argumentation. CoRR (2015)
Fuan Pu, Jian Luo, Guiming Luo
Some Supplementaries to The Counting Semantics for Abstract Argumentation. CoRR (2015)
Qingdi Meng, Lianyi Zhang, Guiming Luo
Formal verification for embedded software with cognitive environment modelling. ICCI*CC (2014)
Mo Xia, Guiming Luo, Mian Sun
Modeling and model checking by modular approach. ICSE Companion (2014)
Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo
Argument Ranking with Categoriser Function. KSEM (2014)
Guiming Luo, Xiaoyu Song, Xiaojing Yang, Krishnaiyan Thulasiraman
Intelligent Modeling and Verification 2014. J. Appl. Math. 2014 (2014)
Yulai Zhang, Guiming Luo
Inferring Causal Directions in Errors-in-Variables Models. AAAI (2014)
Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo
Argument Ranking with Categoriser Function. CoRR (2014)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Model Checking (k, d)-Markov Chain with ipLTL. KSEM (2014)
Jian Luo, Fuan Pu, Yulai Zhang, Guiming Luo
Computing Preferences Based on Agents' Beliefs. AAAI (2014)
Yulai Zhang, Guiming Luo
Fast Algorithm for Non-Stationary Gaussian Process Prediction. AAAI (2014)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Counterexample-Guided Abstraction Refinement for Component-Based Systems. COMPSAC (2014)
Lianyi Zhang, Qingdi Meng, Guiming Luo
Optimized symbolic model checking for component-based systems. ICCI*CC (2014)
Mo Xia, Mian Sun, Guiming Luo, Xibin Zhao
Design and implementation of automatic verification for PLC systems. ICCI*CC (2013)
Yulai Zhang, Guiming Luo
An Entropy Based Method for Causal Discovery in Linear Acyclic Model. ICONIP (2) (2013)
Shuangjia Shao, Guiming Luo, Jian Luo, Xibin Zhao
Circuit delay computation based on ITTPN. ICCI*CC (2013)
Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo
Social Welfare Semantics for Value-Based Argumentation Framework. KSEM (2013)
Guiming Luo, Graziano Chesi, Xiaoyu Song, Xiaojing Yang
Intelligent Modeling and Verification. J. Appl. Math. 2013 (2013)
Mo Xia, Ming Jin, Guiming Luo
Automatic verification of transition systems with unspecified components. ISCAS (2013)
Xinye Lu, Guiming Luo
Direct translation of LTL formulas to Büchi automata. ICCI*CC (2012)
Yu Liu, Guiming Luo, Yulai Zhang
Response Surface Modeling by Local Kernel Partial Least Squares. PAAP (2012)
Jian Luo, Guiming Luo, Mo Xia
An Algorithm for Satisfiability Degree Computation. IJCCI (ECTA-FCTA) (2011)
Jilong Wang, Guiming Luo, Bingsheng Wang
Argumentation framework with weighted argument structure. IEEE ICCI*CC (2011)
Jian Luo, Guiming Luo, Yang Zhao
Satisfiability degree computation for linear temporal logic. IEEE ICCI*CC (2011)
Jian Luo, Guiming Luo, Mo Xia
Satisfiability Degree Theory for Temporal Logic. IJCCI (ECTA-FCTA) (2011)
Zhaoxia Wang, Jianmin Wang, Lijie Wen, Guiming Luo
Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL. ICEIS (3) (2011)
Dan Fan, Guiming Luo
Frisch scheme identification for Errors-in-Variables systems. IEEE ICCI (2010)
Bingsheng Wang, Guiming Luo
Extend argumentation frameworks based on degree of attack. IEEE ICCI (2010)
Yang Zhao, Guiming Luo
Satisfiability Degree Analysis for Transition System. AICI (1) (2010)
Jian Luo, Guiming Luo
Proposition matrix search algorithm for satisfiability degree computation. IEEE ICCI (2010)
Yulai Zhang, Guiming Luo
Adaptive Signal Processing for ARX System Disturbed by Complex Noise. AICI (1) (2010)
Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang
PLC Modeling and Checking Based on Formal Method. J. Softw. Eng. Appl. 3 (11) (2010)
Yunlong Wang, Guiming Luo
Generic cabling with restrictions based on ant colony algorithm. IEEE ICCI (2010)
Chongyuan Yin, Guiming Luo, Pei Hu
Backtracking Search Algorithm for Satisfiability Degree Calculation. FSKD (2) (2009)
Pei Hu, Guiming Luo, Chongyuan Yin
Computation of Satisfiability Degree Based on CNF. FSKD (6) (2009)
Xibin Zhao, Kwok-Yan Lam, Guiming Luo, Siu Leung Chung, Ming Gu
Minimal Threshold Closure. ESORICS (2006)