default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuiming Luo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2020
[j16]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: 738-745 (2020)- 2019
- [j15]Guiming Luo, Boxu Zhao
, Shiyuan Du:
Causal inference and Bayesian network structure learning from nominal data. Appl. Intell. 49(1): 253-264 (2019) - 2018
- [j14]Yulai Zhang, Yuefeng Cen, Guiming Luo:
Causal direction inference for air pollutants data. Comput. Electr. Eng. 68: 404-411 (2018) - [j13]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): 1-17 (2018) - [j12]Boxu Zhao, Guiming Luo:
Classification and Visualization of Alarm Data Based on Heterogeneous Distance. Int. J. Data Warehous. Min. 14(2): 60-80 (2018) - 2017
- [j11]Yulai Zhang, Weifeng Ma, Guiming Luo:
Inferring causal directions from uncertain data. Eng. Appl. Artif. Intell. 65: 261-267 (2017) - [j10]Fuan Pu, Guiming Luo, Zhou Jiang:
Encoding Argumentation Semantics by Boolean Algebra. IEICE Trans. Inf. Syst. 100-D(4): 838-848 (2017) - [j9]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): 1-15 (2017) - [j8]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): 46-59 (2017) - [j7]Yulai Zhang, Guiming Luo:
Recursive prediction algorithm for non-stationary Gaussian Process. J. Syst. Softw. 127: 295-301 (2017) - 2016
- [j6]Zhou Jiang, Guiming Luo, Kele Shen:
Complex Networks Clustering for Lower Power Scan Segmentation in At-Speed Testing. IEICE Trans. Electron. 99-C(9): 1071-1079 (2016) - [j5]Lianyi Zhang, Qingdi Meng, Guiming Luo:
Verification of lean-kanban processes with probabilistic model checking. Int. J. Comput. Appl. Technol. 53(4): 358-368 (2016) - 2015
- [j4]Yulai Zhang, Guiming Luo:
Short term power load prediction with knowledge transfer. Inf. Syst. 53: 161-169 (2015) - 2014
- [j3]Guiming Luo, Xiaoyu Song, Xiaojing Yang, Krishnaiyan Thulasiraman:
Intelligent Modeling and Verification 2014. J. Appl. Math. 2014: 632027:1-632027:2 (2014) - 2013
- [j2]Guiming Luo, Graziano Chesi, Xiaoyu Song, Xiaojing Yang:
Intelligent Modeling and Verification. J. Appl. Math. 2013: 791363:1-791363:2 (2013) - 2010
- [j1]Yueshan Zheng, Guiming Luo, Junbo Sun, Junjie Zhang, Zhenfeng Wang:
PLC Modeling and Checking Based on Formal Method. J. Softw. Eng. Appl. 3(11): 1054-1059 (2010)
Conference and Workshop Papers
- 2022
- [c47]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: 288-305 - 2021
- [c46]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: 264-274 - 2019
- [c45]Hang Ya, Guiming Luo:
Multi-Scale PointPillars 3D Object Detection Network. ICCI*CC 2019: 174-179 - [c44]Chaoqun Chu, Guiming Luo, Mingyang Zhang:
An Optimized Model Checking Parallel Algorithm Based on CUDA. ICCI*CC 2019: 446-452 - [c43]Boxu Zhao, Guiming Luo:
A New Causal Direction Reasoning Method for Decision Making on Noisy Data. IV 2019: 2471-2476 - [c42]Boxu Zhao, Guiming Luo:
Reasoning of Causal Direction in Linear Model Based on Spearman's Rank Correlation Coefficient. KSEM (2) 2019: 259-270 - 2018
- [c41]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: 478-484 - 2017
- [c40]Ji Qi, Guiming Luo:
Model based formal design for MVB system. IEEE ICCI*CC 2017: 207-212 - [c39]Chao Peng, Xiangyu Zhang, Gang Yu, Guiming Luo, Jian Sun:
Large Kernel Matters - Improve Semantic Segmentation by Global Convolutional Network. CVPR 2017: 1743-1751 - 2016
- [c38]Boxu Zhao, Guiming Luo, Jihong Zhu:
A weighted hybrid model for unsteady nonlinear aerodynamics. ICCI*CC 2016: 219-225 - [c37]Guiming Luo, Chongyuan Yin:
Deductive reasoning and computing based on propositional logic. ICCI*CC 2016: 294-299 - [c36]Fuan Pu, Jian Luo, Guiming Luo:
Counter-Transitivity in Argument Ranking Semantics. AAAI 2016: 4256-4257 - [c35]Fuan Pu, Guiming Luo, Yucheng Chen:
Boolean Matrix Approach for Abstract Argumentation. EUMAS/AT 2016: 470-480 - [c34]Boxu Zhao, Guiming Luo:
An Alarm Correlation Algorithm Based on Similarity Distance and Deep Network. ICIC (3) 2016: 359-368 - 2015
- [c33]Jian Luo, Fuan Pu, Guiming Luo:
Argument Strength Computation Based on Satisfiability Degree and Agents' Beliefs. CogSci 2015 - [c32]Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo:
Attacker and Defender Counting Approach for Abstract Argumentation. CogSci 2015 - [c31]Fuan Pu, Jian Luo, Guiming Luo:
Some Supplementaries to the Counting Semantics for Abstract Argumentation. ICTAI 2015: 242-249 - 2014
- [c30]Qingdi Meng, Lianyi Zhang, Guiming Luo:
Formal verification for embedded software with cognitive environment modelling. ICCI*CC 2014: 355-360 - [c29]Lianyi Zhang, Qingdi Meng, Guiming Luo:
Optimized symbolic model checking for component-based systems. ICCI*CC 2014: 373-378 - [c28]Jian Luo, Fuan Pu, Yulai Zhang, Guiming Luo:
Computing Preferences Based on Agents' Beliefs. AAAI 2014: 3128-3129 - [c27]Yulai Zhang, Guiming Luo:
Fast Algorithm for Non-Stationary Gaussian Process Prediction. AAAI 2014: 3150-3151 - [c26]Yulai Zhang, Guiming Luo:
Inferring Causal Directions in Errors-in-Variables Models. AAAI 2014: 3152-3153 - [c25]Lianyi Zhang, Qingdi Meng, Guiming Luo:
Counterexample-Guided Abstraction Refinement for Component-Based Systems. COMPSAC 2014: 201-210 - [c24]Mo Xia, Guiming Luo, Mian Sun:
Modeling and model checking by modular approach. ICSE Companion 2014: 628-629 - [c23]Lianyi Zhang, Qingdi Meng, Guiming Luo:
Model Checking (k, d)-Markov Chain with ipLTL. KSEM 2014: 278-289 - [c22]Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo:
Argument Ranking with Categoriser Function. KSEM 2014: 290-301 - 2013
- [c21]Mo Xia, Mian Sun, Guiming Luo, Xibin Zhao:
Design and implementation of automatic verification for PLC systems. ICCI*CC 2013: 374-379 - [c20]Shuangjia Shao, Guiming Luo, Jian Luo, Xibin Zhao:
Circuit delay computation based on ITTPN. ICCI*CC 2013: 454-460 - [c19]Yulai Zhang, Guiming Luo:
An Entropy Based Method for Causal Discovery in Linear Acyclic Model. ICONIP (2) 2013: 250-256 - [c18]Mo Xia, Ming Jin, Guiming Luo:
Automatic verification of transition systems with unspecified components. ISCAS 2013: 1740-1744 - [c17]Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo:
Social Welfare Semantics for Value-Based Argumentation Framework. KSEM 2013: 76-88 - 2012
- [c16]Xinye Lu, Guiming Luo:
Direct translation of LTL formulas to Büchi automata. ICCI*CC 2012: 323-328 - [c15]Yu Liu, Guiming Luo, Yulai Zhang:
Response Surface Modeling by Local Kernel Partial Least Squares. PAAP 2012: 269-276 - 2011
- [c14]Jian Luo, Guiming Luo, Yang Zhao:
Satisfiability degree computation for linear temporal logic. IEEE ICCI*CC 2011: 373-380 - [c13]Jilong Wang, Guiming Luo, Bingsheng Wang:
Argumentation framework with weighted argument structure. IEEE ICCI*CC 2011: 385-391 - [c12]Zhaoxia Wang, Jianmin Wang, Lijie Wen, Guiming Luo:
Formally Modeling and Analyzing Data-centric Workflow using WFCP-net and ASK-CTL. ICEIS (3) 2011: 139-144 - [c11]Jian Luo, Guiming Luo, Mo Xia:
Satisfiability Degree Theory for Temporal Logic. IJCCI (ECTA-FCTA) 2011: 497-500 - [c10]Jian Luo, Guiming Luo, Mo Xia:
An Algorithm for Satisfiability Degree Computation. IJCCI (ECTA-FCTA) 2011: 501-504 - 2010
- [c9]Yunlong Wang, Guiming Luo:
Generic cabling with restrictions based on ant colony algorithm. IEEE ICCI 2010: 728-732 - [c8]Bingsheng Wang, Guiming Luo:
Extend argumentation frameworks based on degree of attack. IEEE ICCI 2010: 771-776 - [c7]Dan Fan, Guiming Luo:
Frisch scheme identification for Errors-in-Variables systems. IEEE ICCI 2010: 794-799 - [c6]Jian Luo, Guiming Luo:
Proposition matrix search algorithm for satisfiability degree computation. IEEE ICCI 2010: 974-977 - [c5]Yang Zhao, Guiming Luo:
Satisfiability Degree Analysis for Transition System. AICI (1) 2010: 25-32 - [c4]Yulai Zhang, Guiming Luo:
Adaptive Signal Processing for ARX System Disturbed by Complex Noise. AICI (1) 2010: 201-208 - 2009
- [c3]Chongyuan Yin, Guiming Luo, Pei Hu:
Backtracking Search Algorithm for Satisfiability Degree Calculation. FSKD (2) 2009: 3-7 - [c2]Pei Hu, Guiming Luo, Chongyuan Yin:
Computation of Satisfiability Degree Based on CNF. FSKD (6) 2009: 142-146 - 2006
- [c1]Xibin Zhao, Kwok-Yan Lam, Guiming Luo, Siu Leung Chung, Ming Gu:
Minimal Threshold Closure. ESORICS 2006: 145-155
Informal and Other Publications
- 2024
- [i7]Shi Tang, Guiming Luo, Xinchen Ye, Zhiyi Xia:
Unleash the Power of Local Representations for Few-Shot Classification. CoRR abs/2407.01967 (2024) - 2022
- [i6]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 abs/2207.11075 (2022) - 2020
- [i5]Yulai Zhang, Jiachen Wang, Gang Cen, Guiming Luo:
Parallel ensemble methods for causal direction inference. CoRR abs/2006.03231 (2020) - 2017
- [i4]Chao Peng, Xiangyu Zhang, Gang Yu, Guiming Luo, Jian Sun:
Large Kernel Matters - Improve Semantic Segmentation by Global Convolutional Network. CoRR abs/1703.02719 (2017) - 2015
- [i3]Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo:
Attacker and Defender Counting Approach for Abstract Argumentation. CoRR abs/1506.04272 (2015) - [i2]Fuan Pu, Jian Luo, Guiming Luo:
Some Supplementaries to The Counting Semantics for Abstract Argumentation. CoRR abs/1509.03585 (2015) - 2014
- [i1]Fuan Pu, Jian Luo, Yulai Zhang, Guiming Luo:
Argument Ranking with Categoriser Function. CoRR abs/1406.3877 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-30 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
