| |
| Journal Publication |
| |
 |
Hai-Feng Guo,
Gopal Gupta:
Dynamic Reordering of Alternatives for Definite Logic Programs
.
Computer Languages, Systems & Structures.
(2008) (To appear) |
|
|
Hai-Feng Guo,
Bharat Jayaraman:
Logic programming
with Solution Preferences.
Journal of Logic and Algebraic
Programming. (2008) (doi:10.1016/j.jlap.2007.11.003) |
|
|
Hai-Feng Guo,
Gopal Gupta:
Simplifying Dynamic Programming via
Mode-directed Tabling.
Journal of Software: Practice and Experience, 38(1):
75-94, 2008. |
|
|
K. Villaverde,
E. Pontelli, H-F. Guo,
G. Gupta:
Stack
Splitting:
A Technique for Efficient Exploitation of Search Parallelism on
Share-nothing Platforms.
Journal of
Parallel and Distributed Computing, 66(10): 1267-1293, Oct. 2006. |
|
|
E.
Pontelli, K. Villaverde, H-F. Guo,
G. Gupta:
PALS:
Efficient OR-Parallel Execution of Prolog on Beowulf Clusters.
The Journal on Theory and
Practice of Logic Programming,
7(6): 633-695, Nov 2007. |
|
|
Hai-Feng. Guo,
Miao Liu, Partha S. Roop,
C.R. Ramakrishnan, I.V. Ramakrishnan:
Precise
Specification Matching for Adaptive Reuse in Embedded Systems.
Journal of Applied Logic,
5(2):333-355, 2007. The Elsevier publisher. |
|
|
Partha S. Roop, Arcot Sowmya, S. Ramesh,
Hai-Feng Guo:
Tabled Logic Programming-based IP Matching
Tool using Forced Simulation. IEE Proceedings on Computers
& Digital Techniques,
151(3): 199 - 208, May 2004. |
|
| |
| Conference Publication |
| 2009 |
|
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
Consistency Checking for LSC Specifications.
3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), Tianjin,
China, July 2009. |
|
|
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
L2C2: Logic-based LSC Consistency Checking.
The 19th Workshop on
Logic-based methods in Programming Environments (WLPE), Pasadena,
CA, July 2009. |
|
|
Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam:
L2C2: Logic-based LSC Consistency Checking.
11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), Coimbra,
Portugal, September 2009. |
|
| 2008 |
|
Hai-Feng Guo, Wen Zheng, Song Ci:
Precise Determination of
Non-additive Measures.
The IEEE International
Conference on Cybernetics and Intelligent Systems (CIS), Chengdu,
China, June 2008. |
|
|
Hai-Feng Guo:
A Memoized Strategy for
Preference Logic Programs.
The 2nd International Symposium on
Theoretical Aspects of Software Engineering (TASE), Nanjing,
China, June 2008. |
|
| 2007 |
|
Song Ci, Hai-Feng Guo:
Characterizing Cross-Layer Behaviors Using
Nonlinear and Incommensurable Observations.
The IEEE Global Communications Conference
(GLOBECOM), November 26-30, 2007. |
|
|
Song Ci, Hai-Feng Guo:
Quantitative Dynamic Interdependency Measure and
Significance Analysis for Cross-Layer Design under Uncertainty.
The 16th International Conference on
Computer Communications and Networks (ICCCN), August 13-16, 2007. |
|
|
D. Gopal,
Q. Wang, G. Gupta, H.-F. Guo, and A. Karshmer:
Winsight:
Towards Completely Automatic Backtranslation of Nemeth Braille
Math Code.
The 12th International Conference on Human-Computer
Interaction (HCI), July 2007. |
|
|
Miao
Liu, Hai-Feng Guo, Zhengxin Chen:
On Multi-relational data mining for foundation of data mining.
2007 ACS/IEEE International Conference on Computer
Systems and Applications, May 2007. |
|
| 2006 |
|
Hai-Feng Guo,
Miao Liu, Bharat Jayaraman:
Relaxation on Optimization Predicates.
The 22nd International Conference on Logic Programming
(ICLP), August 2006, pages 525-426. |
|
| 2005 |
|
Hai-Feng Guo:
Mode-directed Fixed Point Computation.
The 8th
International Conference on Logic Programming and Non-monotonic
Reasoning (LPNMR), September 2005. |
|
|
Miao
Liu, Hai-Feng Guo,
Zhengxin Chen:
Genetic Algorithm Based Approach for
Nucleic Acid Pattern Extraction.
The 11th
Americas Conference on Information Systems (AMCIS), August 2005. |
|
|
Hai-Feng Guo,
Bharat Jayaraman, Gopal Gupta, Miao Liu:
Optimization with Mode-Directed
Preferences.
The 7th
ACM-SIGPLAN International Symposium on Principles and Practice of
Declarative Programming
(PPDP), July 2005. |
|
|
Hai-Feng Guo,
Bharat Jayaraman:
Mode-directed Preferences
for Logic Programs.
The 20th
Annual ACM Symposium on Applied Computing
(SAC), Mar. 2005. |
|
| 2004 |
|
A. Karshmer, G. Gupta,
E. Pontelli, H-F. Guo, and etc.:
UMA: A
System for Universal Mathematics Accessibility.
The 6th
International ACM SIGACCESS Conference on Computers and Accessibility
(ASSETS), Oct. 2004. |
|
| Hai-Feng Guo, Gopal Gupta:
Simplifying Dynamic Programming via Tabling. Practical
Aspects of Declarative Languages (PADL), June 2004.
(Most Practical Award Paper
in PADL'04) |
|
| Z. Wang, H-F. Guo, Y. Shi, K-S.
Leung:
A brief description of hybrid nonlinear
classifiers based on generalized Choquet integrals.
Chinese Academy of Sciences Symposium on Data Mining and Knowledge
Management (CASDMKM), July 2004. |
|
|
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C.R. Ramakrishnan, I.V.
Ramakrishnan:
Online Justification for Tabled Logic
Programs. The 7th International Symposium on Functional
and Logic Programming, Apr.
2004. |
|
| 2003 |
| H-F. Guo, G. Gupta:
Simplifying Dynamic Programming via Tabling.
Colloquium on Implementation of Constraint and LOgic Programming
Systems
(CICLOPS), Dec. 2003. |
|
| H-F. Guo, G. Gupta:
A New Mode Declaration for Tabled Predicates
(Poster). International Conference on Logic Programming
(ICLP), Dec. 2003. |
|
|
Hai-Feng. Guo,
Miao Liu, Jiaxing Pi:
Precise
Specification Matching for Automated Component Retrieval and
Adaptation.
IEEE
International Conference on Information Reuse and Integration, Oct. 2003. |
|
| K. Villaverde, E. Pontelli, H-F. Guo, G. Gupta:
A Methodology for the Management of
Order-sensitive Execution of Non-deterministic Languages on Beowulf
Platforms. International Conference on Parallel and
Distributed Computing (Euro-Par), pp. 694-703, August 2003. |
|
|
N. Annamalai,
D. Gopal, G. Gupta, H-F. Guo, A.I. Karshmer:
INSIGHT: A
Comprehensive System for Converting Braille based Mathematical
Documents to Latex.
10th
International Conference on Human - Computer Interaction, June 2003. |
|
| Zhenyuan Wang, Hai-Feng Guo:
A New Genetic Algorithm for Nonlinear
Multiregressions Based on Generalized Choquet Integrals.
The IEEE International Conference on Fuzzy Systems, May 2003. |
|
| 2002 |
| H-F. Guo, C.R. Ramakrishnan, I.V. Ramakrishnan:
Justification
based on Program Transformation. In
International Symposium
on Logic-based Program Synthesis and Transformation
(LOPSTR'02). Oct. 2002. [paper.ps.gz]
[paper.pdf] |
|
| G. Gupta, H-F. Guo, E. Pontelli, A.I. Karshmer:
Semantics-based
Filting: Logic Programming's Killer Application. In Proc. Fourth
International Symposium on Practical Application of Declarative Languages
(PADL'02). Springer Verlag, Lecture Notes in Computer Science 2257,
pp. 80-97, Jan. 2002. [paper.ps.gz]
[paper.pdf] |
|
| 2001 |
| H-F. Guo, C.R. Ramakrishnan, I.V. Ramakrishnan:
Speculative
Beats Conservative Justifications. In Proc. Seventeenth International
Conference on Logic Programming (ICLP'01). Springer Verlag, Lecture
Notes in Computer Science 2237, pp. 150-165, Nov. 2001. [paper.ps.gz]
[paper.pdf] |
|
| H-F. Guo, G. Gupta: A
Simple Scheme for Implementing Tabled Logic Programming Systems based on
Dynamic Reordering of Alternatives. In Proc. Seventeenth International
Conference on Logic Programming (ICLP'01). Springer Verlag, Lecture
Notes in Computer Science 2237, pp. 181-196, Nov. 2001. [paper.ps.gz]
[paper.pdf] |
|
| K. Villaverde, E. Pontelli, H-F. Guo, G. Gupta:
A
Scalable Or-parallel Implementation of Prolog. In Proc. Seventeenth
International Conference on Logic Programming (ICLP'01). Springer Verlag,
Lecture Notes in Computer Science 2237, pp. 27-42, Nov. 2001. [paper.pdf] |
|
| A.I. Karshmer, G. Gupta, H-F.
Guo, et al.:
Nonvisual
Mathematical Interactive Systems and Applications. In
Proc. First International Conference on Universal Access in
Human-Computer Interaction. August 2001. |
|
| K. Villaverde, H-F. Guo, E.Pontelli, G. Gupta:
Incremental
Stack-splitting Mechanisms for Efficient Parallel Implementation of Search-based
AI Systems. In
Proc. Thirtieth International Conference on Parallel
Processing (ICPP'01). IEEE Press, pp. 287-294, Sept. 2001. [paper.ps.gz]
[paper.pdf] |
|
| 2000 |
| H-F. Guo, G. Gupta, et al.:
Computer Processing of Nemeth Braille Math Notation. In Proc.
Seventh International Conference on Computers Helping People with Special
Needs (ICCHP'00). OCG Press (Austria), pp. 319-328, July 2000. [paper.ps.gz]
[paper.pdf] |
|
| G. Gupta, H-F. Guo, et al.: Building
the Tower of Babel: Converting XML to Voice-XML for Accessibility.
In Proc. Seventh International Conference on Computers Helping People
with Special Needs (ICCHP'00). OCG Press (Austria), pp. 267-272, July
2000. [paper.ps.gz] [paper.pdf] |
|
| H-F. Guo, Gopal Gupta:
A
New Tabling Scheme with Dynamic Reordering. In Proc. 2nd Workshop
on Tabulation in Parsing and Deduction (TAPD'00). pp. 141 - 154, Sept
2000. |
|
