Xiaorong Huang

ORCID

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 7

Top Venues

Expert Syst. Appl.

J. Syst. Control. Eng.

Frontiers Neurorobotics

Remote. Sens.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Haibo Huang, Xiaorong Huang, Weiping Ding, Mingliang Yang, Xiongying Yu, Jian Pang
Vehicle vibro-acoustical comfort optimization using a multi-objective interval analysis method. Expert Syst. Appl. 213 (Part) (2023)
Xiaorong Huang, Guihua Wang
Response of a Mesoscale Dipole Eddy to the Passage of a Tropical Cyclone: A Case Study Using Satellite Observations and Numerical Modeling. Remote. Sens. 14 (12) (2022)
Xiaorong Huang, Anca L. Ralescu, Yiqiang Peng, Hongli Gao, Shulei Sun
Non-Fragile Observer-Based Adaptive Integral Sliding Mode Control for a Class of T-S Fuzzy Descriptor Systems With Unmeasurable Premise Variables. Frontiers Neurorobotics 16 (2022)
Xiaorong Huang, Haibo Huang, Jiuhui Wu, Mingliang Yang, Weiping Ding
Sound quality prediction and improving of vehicle interior noise based on deep convolutional neural networks. Expert Syst. Appl. 160 (2020)
Xiaorong Huang, Anca L. Ralescu, Hongli Gao, Haibo Huang
A survey on the application of fuzzy systems for underactuated systems. J. Syst. Control. Eng. 233 (3) (2019)
Xiaorong Huang, Anca L. Ralescu, Hongli Gao, Juan Wen
adaptive hierarchical sliding mode control based on fuzzy neural network for an underactuated system. FUZZ-IEEE (2018)
Xiaorong Huang, Hongli Gao, Jun Li, Run Mao, Juan Wen
Adaptive back-stepping tracking control of robot manipulators considering actuator dynamic. AIM (2016)
Baigang Du, Shunsheng Guo, Xiaorong Huang, Yibing Li, Jun Guo
A Pareto supplier selection algorithm for minimum the life cycle cost of complex product system. Expert Syst. Appl. 42 (9) (2015)
Xiaobing Yu, Shunsheng Guo, Jun Guo, Xiaorong Huang
An extended support vector machine forecasting framework for customer churn in e-commerce. Expert Syst. Appl. 38 (3) (2011)
Xiaobing Yu, Shunsheng Guo, Jun Guo, Xiaorong Huang
Rank B2C e-commerce websites in e-alliance based on AHP and fuzzy TOPSIS. Expert Syst. Appl. 38 (4) (2011)
Guizhi Wang, Jie Li, Jiacai Sun, Xiaorong Huang
A Structure Analysis and Trend Prediction of the Population Development in China. BIFE (2009)
Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou
Adaptation of Declaratively Represented Methods in Proof Planning. Ann. Math. Artif. Intell. 23 (3-4) (1998)
Christoph Benzmüller, Lassaad Cheikhrouhou, Detlef Fehrer, Armin Fiedler, Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Karsten Konrad, Andreas Meier, Erica Melis, Wolf Schaarschmidt, Jörg H. Siekmann, Volker Sorge
Omega: Towards a Mathematical Assistant. CADE (1997)
Xiaorong Huang
Planning Reference Choices for Argumentative Texts. ACL (1997)
Xiaorong Huang, Armin Fiedler
Proof Verbalization as an Application of NLG. IJCAI (2) (1997)
Xiaorong Huang, Armin Fiedler
Paraphrasing and Aggregating Argumentative Texts Using Text Structure. INLG (1) (1996)
Xiaorong Huang
Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level. PRICAI (1996)
Xiaorong Huang, Armin Fiedler
Presenting Machine-Found Proofs. CADE (1996)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Die Beweisentwicklungsumgebung Omega-MKRP. Inform. Forsch. Entwickl. 11 (1) (1996)
Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn
Planning Mathematical Proofs with Methods. J. Inf. Process. Cybern. 30 (5/6) (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
Adapting Methods to Novel Tasks in Proof Planning. KI (1994)
Xiaorong Huang
Reconstruction Proofs at the Assertion Level. CADE (1994)
Xiaorong Huang
Planning Reference CHoices for Argumentative Texts. INLG (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
Omega-MKRP: A Proof Development Environment. CADE (1994)
Xiaorong Huang
Planning Argumentative Texts. CoRR (1994)
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann
KEIM: A Toolkit for Automated Deduction. CADE (1994)
Xiaorong Huang
Planning Argumentative Texts. COLING (1994)
Xiaorong Huang
An Explanatory Framework for Human Theorem Proving. GWAI (1992)
Xiaorong Huang
Applications of Assertions as Elementary Tactics in Proof Planning. AIMSA (1992)
Xiaorong Huang
Proof Transformation Towards Human Reasoning Style. GWAI (1989)

Xiaorong Huang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xiaorong Huang