Guoxin Song

According to our database, Guoxin Song authored at least 10 papers between 1995 and 2020.

Collaborative distances:

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

2020

Semi-Supervised PolSAR Image Classification Based on Improved Tri-Training With a Minimum Spanning Tree.

Shuang Wang, Yanhe Guo, Wenqiang Hua, Xinan Liu, Guoxin Song, Biao Hou, Licheng Jiao

IEEE Trans. Geosci. Remote. Sens., 2020

2019

Polsar Terrain Classification Based on Denoising-CNN.

Yanhe Guo, Shuang Wang, Guoxin Song, Yongqiang Zhao, Wenqiang Hua, Feihang Liu

Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

2006

Design of a Fuzzy Decision-Making Model and Its Application to Software Functional Size Measurement.

Xunmei Gu, Guoxin Song, Lizhong Xiao

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

An Improved FSM Method for Web-based Applications.

Xunmei Gu, Guoxin Song, Qingyi Li

Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006

2005

A Delegation Logic Based Authorization Mechanism for Virtual Organizations.

Chunhua Gu, Xueqin Zhang, Guoxin Song

Proceedings of the Applied Public Key Infrastructure, 2005

1999

Deciding quasi-reducibility using witnessed test sets.

Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu

J. Comput. Sci. Technol., 1999

1998

Completeness of the accumulation calculus.

Huiqun Yu, Guoxin Song, Yongqiang Sun

J. Comput. Sci. Technol., 1998

Proving Inductive Theorems Using Witnessed Test Sets.

Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1995

An algebraic characterization of inductive soundness in proof by consistency.

Zhiqing Shao, Guoxin Song

J. Comput. Sci. Technol., 1995

Term rewriting systems with sort priorities.

Zhiqing Shao, Guoxin Song

Int. J. Comput. Math., 1995