Heng Chu

Publication Activity (10 Years)

Years Active: 1992-2009
Publications (10 Years): 0

Publications

Rema Ananthanarayanan, Vijil Chenthamarakshan, Heng Chu, Prasad M. Deshpande, Raghu Krishnapuram, Shajeer K. Mohammed
Dependency Analysis Framework for Software Service Delivery. IEEE SCC (2009)
Heng Chu, Weile Zhu
Fusion of IKONOS Satellite Imagery Using IHS Transform and Local Variation. IEEE Geosci. Remote. Sens. Lett. 5 (4) (2008)
Jie Li, Jing Peng, Heng Chu, Weile Zhu
Automatic Digital Modulation Recognition Using Support Vector Machines and Genetic Algorithm. ISNN (2) (2005)
Heng Chu, David A. Plaisted
CLIN-S - A Semantically Guided First-Order Theorem Prover. J. Autom. Reason. 18 (2) (1997)
Heng Chu, David A. Plaisted
Model Finding in Semantically Guided Instance-Based Theorem Proving. Fundam. Informaticae 21 (3) (1994)
Heng Chu, David A. Plaisted
Semantically Guided First-Order Theorem Proving using Hyper-Linking. CADE (1994)
Heng Chu, David A. Plaisted
Rough Resolution: A Refinement of Resolution to Remove Large Literals. AAAI (1993)
Heng Chu, David A. Plaisted
Model Finding Strategies in Semantically Guided Instance-based Theorem Proving. ISMIS (1993)
David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee
Conditional Term Rewriting and First-Order Theorem Proving. CTRS (1992)