Xiaorong Huang

According to our database, Xiaorong Huang authored at least 29 papers between 1989 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Vehicle vibro-acoustical comfort optimization using a multi-objective interval analysis method.

Haibo Huang, Xiaorong Huang, Weiping Ding, Mingliang Yang, Xiongying Yu, Jian Pang

Expert Syst. Appl., 2023

2022

Non-Fragile Observer-Based Adaptive Integral Sliding Mode Control for a Class of T-S Fuzzy Descriptor Systems With Unmeasurable Premise Variables.

Xiaorong Huang, Anca L. Ralescu, Yiqiang Peng, Hongli Gao, Shulei Sun

Frontiers Neurorobotics, September, 2022

Response of a Mesoscale Dipole Eddy to the Passage of a Tropical Cyclone: A Case Study Using Satellite Observations and Numerical Modeling.

Xiaorong Huang, Guihua Wang

Remote. Sens., 2022

2020

Sound quality prediction and improving of vehicle interior noise based on deep convolutional neural networks.

Xiaorong Huang, Haibo Huang, Jiuhui Wu, Mingliang Yang, Weiping Ding

Expert Syst. Appl., 2020

2019

A survey on the application of fuzzy systems for underactuated systems.

Xiaorong Huang, Anca L. Ralescu, Hongli Gao, Haibo Huang

J. Syst. Control. Eng., 2019

2018

adaptive hierarchical sliding mode control based on fuzzy neural network for an underactuated system.

Xiaorong Huang, Anca L. Ralescu, Hongli Gao, Juan Wen

Proceedings of the 2018 IEEE International Conference on Fuzzy Systems, 2018

2016

Adaptive back-stepping tracking control of robot manipulators considering actuator dynamic.

Xiaorong Huang, Hongli Gao, Jun Li, Run Mao, Juan Wen

Proceedings of the IEEE International Conference on Advanced Intelligent Mechatronics, 2016

2015

A Pareto supplier selection algorithm for minimum the life cycle cost of complex product system.

Baigang Du, Shunsheng Guo, Xiaorong Huang, Yibing Li, Jun Guo

Expert Syst. Appl., 2015

2011

Rank B2C e-commerce websites in e-alliance based on AHP and fuzzy TOPSIS.

Xiaobing Yu, Shunsheng Guo, Jun Guo, Xiaorong Huang

Expert Syst. Appl., 2011

An extended support vector machine forecasting framework for customer churn in e-commerce.

Xiaobing Yu, Shunsheng Guo, Jun Guo, Xiaorong Huang

Expert Syst. Appl., 2011

2009

A Structure Analysis and Trend Prediction of the Population Development in China.

Guizhi Wang, Jie Li, Jiacai Sun, Xiaorong Huang

Proceedings of the Business Intelligence: Artificial Intelligence in Business, 2009

1998

Adaptation of Declaratively Represented Methods in Proof Planning.

Xiaorong Huang, Manfred Kerber, Lassaad Cheikhrouhou

Ann. Math. Artif. Intell., 1998

1997

Proof Verbalization as an Application of NLG.

Xiaorong Huang, Armin Fiedler

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Omega: Towards a Mathematical Assistant.

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

Proceedings of the Automated Deduction, 1997

1996

Die Beweisentwicklungsumgebung Omega-MKRP.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Inform. Forsch. Entwickl., 1996

Translating Machine-Generated Resolution Proofs into ND-Proofs at the Assertion Level.

Xiaorong Huang

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996

Paraphrasing and Aggregating Argumentative Texts Using Text Structure.

Xiaorong Huang, Armin Fiedler

Proceedings of the Eighth International Natural Language Generation Workshop, 1996

Presenting Machine-Found Proofs.

Xiaorong Huang, Armin Fiedler

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Human oriented proof presentation - a reconstructive approach.

Xiaorong Huang

PhD thesis, 1996

1994

Planning Mathematical Proofs with Methods.

Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn

J. Inf. Process. Cybern., 1994

Adapting Methods to Novel Tasks in Proof Planning.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Planning Reference CHoices for Argumentative Texts.

Xiaorong Huang

Proceedings of the Seventh International Workshop on Natural Language Generation, 1994

Planning Argumentative Texts.

Xiaorong Huang

Proceedings of the 15th International Conference on Computational Linguistics, 1994

KEIM: A Toolkit for Automated Deduction.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Omega-MKRP: A Proof Development Environment.

Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

Reconstruction Proofs at the Assertion Level.

Xiaorong Huang

Proceedings of the Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26, 1994

1992

An Explanatory Framework for Human Theorem Proving.

Xiaorong Huang

Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

Applications of Assertions as Elementary Tactics in Proof Planning.

Xiaorong Huang

Proceedings of the Artificial Intelligence V: Methodology, Systems, Applications, 1992

1989

Proof Transformation Towards Human Reasoning Style.

Xiaorong Huang

Proceedings of the GWAI-89, 1989