dblp.uni-trier.dewww.uni-trier.de

Hai-Feng Guo Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
34EEHai-Feng Guo, Wen Zheng, Mahadevan Subramaniam: L2C2: logic-based LSC consistency checking. PPDP 2009: 183-194
33EEHai-Feng Guo, Wen Zheng, Mahadevan Subramaniam: Consistency Checking for LSC Specifications. TASE 2009: 119-126
2008
32EEHai-Feng Guo: A Memoized Strategy for Preference Logic Programs. TASE 2008: 255-262
31EEHai-Feng Guo, Bharat Jayaraman: Logic programming with solution preferences. J. Log. Algebr. Program. 78(1): 1-21 (2008)
30EEHai-Feng Guo, Gopal Gupta: Simplifying dynamic programming via mode-directed tabling. Softw., Pract. Exper. 38(1): 75-94 (2008)
2007
29EEMiao Liu, Hai-Feng Guo, Zhengxin Chen: On Multi-Relational Data Mining for Foundation of Data Mining. AICCSA 2007: 389-395
28EESong Ci, Hai-Feng Guo: Significance Measure with Nonlinear and Incommensurable Observations. GLOBECOM 2007: 4739-4743
27EEDeepa Gopal, Q. Wang, Gopal Gupta, Sachin V. Chitnis, Hai-Feng Guo, Arthur I. Karshmer: Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. HCI (7) 2007: 309-318
26EESong Ci, Hai-Feng Guo: Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty. ICCCN 2007: 900-904
25EEHai-Feng Guo, Jalal Mahmud, Yevgen Borodin, Amanda Stent, I. V. Ramakrishnan: A General Approach for Partitioning Web Page Content Based on Geometric and Style Information. ICDAR 2007: 929-933
24EEHai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan: Precise specification matching for adaptive reuse in embedded systems. J. Applied Logic 5(2): 333-355 (2007)
23EEEnrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters. TPLP 7(6): 633-695 (2007)
2006
22EEHai-Feng Guo, Miao Liu, Bharat Jayaraman: Relaxation on Optimization Predicates. ICLP 2006: 425-426
21EEEnrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: PALS: Efficient Or-Parallelism on Beowulf Clusters CoRR abs/cs/0607040: (2006)
20EEEnrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta: Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. J. Parallel Distrib. Comput. 66(10): 1267-1293 (2006)
2005
19EEHai-Feng Guo: Mode-Directed Fixed Point Computation. LPNMR 2005: 253-265
18EEHai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu: Optimization with mode-directed preferences. PPDP 2005: 242-251
17EEHai-Feng Guo, Bharat Jayaraman: Mode-directed preferences for logic programs. SAC 2005: 1414-1418
2004
16EEArthur I. Karshmer, Gopal Gupta, Enrico Pontelli, Klaus Miesenberger, N. Ammalai, Deepa Gopal, Mario Batusic, Bernhard Stöger, B. Palmer, Hai-Feng Guo: UMA: a system for universal mathematics accessibility. ASSETS 2004: 55-62
15EEZhenyuan Wang, Hai-Feng Guo, Yong Shi, Kwong-Sak Leung: A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals. CASDMKM 2004: 34-40
14EEGiridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. FLOPS 2004: 24-38
13EEHai-Feng Guo, Gopal Gupta: Simplifying Dynamic Programming via Tabling. PADL 2004: 163-177
12EEHai-Feng Guo, Gopal Gupta: An Efficient and Flexible Engine for Computing Fixed Points CoRR abs/cs/0412041: (2004)
2003
11EEKaren Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. Euro-Par 2003: 694-703
10EEHai-Feng Guo, Gopal Gupta: A New Mode Declaration for Tabled Predicates. ICLP 2003: 485-486
9EEGiridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan: Online Justification for Tabled Logic Programs. ICLP 2003: 500-501
8 Hai-Feng Guo: Precise Specification Matching for Automated Component Retrieval and Adaptation. IRI 2003: 77-84
2002
7EEHai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Justification Based on Program Transformation. LOPSTR 2002: 158-159
6EEGopal Gupta, Hai-Feng Guo, Arthur I. Karshmer, Enrico Pontelli, Juan Raymundo Iglesias, Desh Ranjan, Brook Milligan, Nayana Datta, Omar El-Khatib, Mohammed Noamany, Xinhong Zhou: Semantics-Based Filtering: Logic Programming's Killer App? PADL 2002: 82-100
2001
5 Arthur I. Karshmer, Gopal Gupta, Klaus Miesenberger, Enrico Pontelli, Hai-Feng Guo: The development of a tool to enhance communications between blind and sighted mathematicians, students and teachers: a global translation appliance. HCI 2001: 929-933
4EEHai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan: Speculative Beats Conservative Justification. ICLP 2001: 150-165
3EEHai-Feng Guo, Gopal Gupta: A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. ICLP 2001: 181-196
2EEKaren Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta: PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. ICLP 2001: 27-42
1EEKaren Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta: Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. ICPP 2001: 287-294

Coauthor Index

1N. Ammalai [16]
2Mario Batusic [16]
3Yevgen Borodin [25]
4Zhengxin Chen [29]
5Sachin V. Chitnis [27]
6Song Ci [26] [28]
7Nayana Datta [6]
8Yifei Dong [9] [14]
9Omar El-Khatib [6]
10Deepa Gopal [16] [27]
11Gopal Gupta [1] [2] [3] [5] [6] [10] [11] [12] [13] [16] [18] [20] [21] [23] [27] [30]
12Juan Raymundo Iglesias [6]
13Bharat Jayaraman [17] [18] [22] [31]
14Arthur I. Karshmer [5] [6] [16] [27]
15Kwong-Sak Leung [15]
16Miao Liu [18] [22] [24] [29]
17Jalal Mahmud [25]
18Klaus Miesenberger [5] [16]
19Brook Milligan [6]
20Mohammed Noamany [6]
21B. Palmer [16]
22Giridhar Pemmasani [9] [14]
23Enrico Pontelli [1] [2] [5] [6] [11] [16] [20] [21] [23]
24C. R. Ramakrishnan [4] [7] [9] [14] [24]
25I. V. Ramakrishnan [4] [7] [9] [14] [24] [25]
26Desh Ranjan [6]
27Partha S. Roop [24]
28Yong Shi [15]
29Amanda Stent [25]
30Bernhard Stöger [16]
31Mahadevan Subramaniam [33] [34]
32Karen Villaverde [1] [2] [11] [20] [21] [23]
33Q. Wang [27]
34Zhenyuan Wang [15]
35Wen Zheng [33] [34]
36Xinhong Zhou [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)