The SCEAS System
| |||||||

## Search the dblp DataBase
Hai-Feng Guo:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - Hai-Feng Guo, Gopal Gupta
**A New Mode Declaration for Tabled Predicates.**[Citation Graph (0, 0)][DBLP] ICLP, 2003, pp:485-486 [Conf] - Hai-Feng Guo, Miao Liu, Bharat Jayaraman
**Relaxation on Optimization Predicates.**[Citation Graph (0, 0)][DBLP] ICLP, 2006, pp:425-426 [Conf] - Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan
**Speculative Beats Conservative Justification.**[Citation Graph (0, 0)][DBLP] ICLP, 2001, pp:150-165 [Conf] - 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] - 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] - 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] - Hai-Feng Guo
**Precise Specification Matching for Automated Component Retrieval and Adaptation.**[Citation Graph (0, 0)][DBLP] IRI, 2003, pp:77-84 [Conf] - 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] - Hai-Feng Guo
**Mode-Directed Fixed Point Computation.**[Citation Graph (0, 0)][DBLP] LPNMR, 2005, pp:253-265 [Conf] - Hai-Feng Guo, Gopal Gupta
**Simplifying Dynamic Programming via Tabling.**[Citation Graph (0, 0)][DBLP] PADL, 2004, pp:163-177 [Conf] - 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] - 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] - Hai-Feng Guo, Bharat Jayaraman
**Mode-directed preferences for logic programs.**[Citation Graph (0, 0)][DBLP] SAC, 2005, pp:1414-1418 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] **Quantitative Dynamic Interdependency Measure and Significance Analysis for Cross-Layer Design under Uncertainty.**[Citation Graph (, )][DBLP]**A General Approach for Partitioning Web Page Content Based on Geometric and Style Information.**[Citation Graph (, )][DBLP]**A New Sliding-Mode Control Algorithm with Simulation.**[Citation Graph (, )][DBLP]**L2C2: logic-based LSC consistency checking.**[Citation Graph (, )][DBLP]**Consistency Checking for LSC Specifications.**[Citation Graph (, )][DBLP]**A Memoized Strategy for Preference Logic Programs.**[Citation Graph (, )][DBLP]**Significance Measure with Nonlinear and Incommensurable Observations.**[Citation Graph (, )][DBLP]**Dynamic reordering of alternatives for definite logic programs.**[Citation Graph (, )][DBLP]**L2C2: Logic-based LSC Consistency Checking**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.006secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |