Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Heng Chu
2000 – 2009
- 2009
[c6]Rema Ananthanarayanan, Vijil Chenthamarakshan, Heng Chu, Prasad M. Deshpande, Raghu Krishnapuram, Shajeer K. Mohammed: Dependency Analysis Framework for Software Service Delivery. IEEE SCC 2009: 89-96- 2005
- [c5]Jie Li, Jing Peng, Heng Chu, Weile Zhu: Automatic Digital Modulation Recognition Using Support Vector Machines and Genetic Algorithm. ISNN (2) 2005: 568-573
1990 – 1999
- 1997
- [j2]Heng Chu, David A. Plaisted: CLIN-S - A Semantically Guided First-Order Theorem Prover. J. Autom. Reasoning 18(2): 183-188 (1997)
- 1994
- [j1]Heng Chu, David A. Plaisted: Model Finding in Semantically Guided Instance-Based Theorem Proving. Fundam. Inform. 21(3): 221-235 (1994)
- [c4]Heng Chu, David A. Plaisted: Semantically Guided First-Order Theorem Proving using Hyper-Linking. CADE 1994: 192-206
- 1993
- [c3]Heng Chu, David A. Plaisted: Rough Resolution: A Refinement of Resolution to Remove Large Literals. AAAI 1993: 15-20
- [c2]Heng Chu, David A. Plaisted: Model Finding Strategies in Semantically Guided Instance-based Theorem Proving. ISMIS 1993: 19-28
- 1992
- [c1]David A. Plaisted, Geoffrey D. Alexander, Heng Chu, Shie-Jue Lee: Conditional Term Rewriting and First-Order Theorem Proving. CTRS 1992: 257-271
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-12 16:59 CET by the dblp team