Guiming Luo

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