The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hai-Feng Guo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arthur 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. [Citation Graph (0, 0)][DBLP]
    ASSETS, 2004, pp:55-62 [Conf]
  2. Zhenyuan Wang, Hai-Feng Guo, Yong Shi, Kwong-Sak Leung
    A Hybrid Nonlinear Classifier Based on Generalized Choquet Integrals. [Citation Graph (0, 0)][DBLP]
    CASDMKM, 2004, pp:34-40 [Conf]
  3. Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
    A Methodology for Order-Sensitive Execution of Non-deterministic Languages on Beowulf Platforms. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2003, pp:694-703 [Conf]
  4. Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
    Online Justification for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:24-38 [Conf]
  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. [Citation Graph (0, 0)][DBLP]
    HCI, 2001, pp:929-933 [Conf]
  6. Hai-Feng Guo, Gopal Gupta
    A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:181-196 [Conf]
  7. Hai-Feng Guo, Gopal Gupta
    A New Mode Declaration for Tabled Predicates. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:485-486 [Conf]
  8. Hai-Feng Guo, Miao Liu, Bharat Jayaraman
    Relaxation on Optimization Predicates. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:425-426 [Conf]
  9. Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
    Speculative Beats Conservative Justification. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:150-165 [Conf]
  10. Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
    Online Justification for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:500-501 [Conf]
  11. Karen Villaverde, Enrico Pontelli, Hai-Feng Guo, Gopal Gupta
    PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:27-42 [Conf]
  12. Karen Villaverde, Hai-Feng Guo, Enrico Pontelli, Gopal Gupta
    Incremental Stack-Splitting Mechanisms for Efficient Parallel Implementation of Search-Based AI Systems. [Citation Graph (0, 0)][DBLP]
    ICPP, 2001, pp:287-294 [Conf]
  13. Hai-Feng Guo
    Precise Specification Matching for Automated Component Retrieval and Adaptation. [Citation Graph (0, 0)][DBLP]
    IRI, 2003, pp:77-84 [Conf]
  14. Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
    Justification Based on Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:158-159 [Conf]
  15. Hai-Feng Guo
    Mode-Directed Fixed Point Computation. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2005, pp:253-265 [Conf]
  16. Hai-Feng Guo, Gopal Gupta
    Simplifying Dynamic Programming via Tabling. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:163-177 [Conf]
  17. Gopal 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? [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:82-100 [Conf]
  18. Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu
    Optimization with mode-directed preferences. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:242-251 [Conf]
  19. Hai-Feng Guo, Bharat Jayaraman
    Mode-directed preferences for logic programs. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1414-1418 [Conf]
  20. Hai-Feng Guo, Miao Liu, Partha S. Roop, C. R. Ramakrishnan, I. V. Ramakrishnan
    Precise specification matching for adaptive reuse in embedded systems. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:333-355 [Journal]
  21. Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
    Stack splitting: A technique for efficient exploitation of search parallelism on share-nothing platforms. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 2006, v:66, n:10, pp:1267-1293 [Journal]
  22. Miao Liu, Hai-Feng Guo, Zhengxin Chen
    On Multi-Relational Data Mining for Foundation of Data Mining. [Citation Graph (0, 0)][DBLP]
    AICCSA, 2007, pp:389-395 [Conf]
  23. Deepa Gopal, Q. Wang, Gopal Gupta, Sachin V. Chitnis, Hai-Feng Guo, Arthur I. Karshmer
    Winsight: Towards Completely Automatic Backtranslation of Nemeth Code. [Citation Graph (0, 0)][DBLP]
    HCI (7), 2007, pp:309-318 [Conf]
  24. Enrico Pontelli, Karen Villaverde, Hai-Feng Guo, Gopal Gupta
    PALS: Efficient Or-Parallelism on Beowulf Clusters [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  25. Hai-Feng Guo, Gopal Gupta
    An Efficient and Flexible Engine for Computing Fixed Points [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]

  26. Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty. [Citation Graph (, )][DBLP]


  27. A General Approach for Partitioning Web Page Content Based on Geometric and Style Information. [Citation Graph (, )][DBLP]


  28. A New Sliding-Mode Control Algorithm with Simulation. [Citation Graph (, )][DBLP]


  29. L2C2: logic-based LSC consistency checking. [Citation Graph (, )][DBLP]


  30. Consistency Checking for LSC Specifications. [Citation Graph (, )][DBLP]


  31. A Memoized Strategy for Preference Logic Programs. [Citation Graph (, )][DBLP]


  32. Significance Measure with Nonlinear and Incommensurable Observations. [Citation Graph (, )][DBLP]


  33. Dynamic reordering of alternatives for definite logic programs. [Citation Graph (, )][DBLP]


  34. L2C2: Logic-based LSC Consistency Checking [Citation Graph (, )][DBLP]


Search in 0.048secs, Finished in 0.050secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002