Heng Chu

According to our database, Heng Chu authored at least 9 papers between 1992 and 2009.

Collaborative distances:

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

2009

Dependency Analysis Framework for Software Service Delivery.

Rema Ananthanarayanan, Vijil Chenthamarakshan, Heng Chu, Prasad M. Deshpande, Raghu Krishnapuram, Shajeer K. Mohammed

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2008

Fusion of IKONOS Satellite Imagery Using IHS Transform and Local Variation.

Heng Chu, Weile Zhu

IEEE Geosci. Remote. Sens. Lett., 2008

2005

Automatic Digital Modulation Recognition Using Support Vector Machines and Genetic Algorithm.

Jie Li, Jing Peng, Heng Chu, Weile Zhu

Proceedings of the Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30, 2005

1997

CLIN-S - A Semantically Guided First-Order Theorem Prover.

Heng Chu, David A. Plaisted

J. Autom. Reason., 1997

1994

Model Finding in Semantically Guided Instance-Based Theorem Proving.

Heng Chu, David A. Plaisted

Fundam. Informaticae, 1994

Semantically Guided First-Order Theorem Proving using Hyper-Linking.

Heng Chu, David A. Plaisted

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

1993

Model Finding Strategies in Semantically Guided Instance-based Theorem Proving.

Heng Chu, David A. Plaisted

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

Rough Resolution: A Refinement of Resolution to Remove Large Literals.

Heng Chu, David A. Plaisted

Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993

1992

Conditional Term Rewriting and First-Order Theorem Proving.

David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee

Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992