| 2008 |
|---|
| 33 | EE | Neng-Fa Zhou,
Taisuke Sato,
Yi-Dong Shen:
Linear tabling strategies and optimizations.
TPLP 8(1): 81-109 (2008) |
| 2007 |
|---|
| 32 | EE | Neng-Fa Zhou:
A Register-Free Abstract Prolog Machine with Jumbo Instructions.
ICLP 2007: 455-457 |
| 31 | EE | Neng-Fa Zhou,
Taisuke Sato,
Yi-Dong Shen:
Linear Tabling Strategies and Optimizations
CoRR abs/0705.3468: (2007) |
| 2006 |
|---|
| 30 | EE | Neng-Fa Zhou:
Programming finite-domain constraint propagators in Action Rules.
TPLP 6(5): 483-507 (2006) |
| 2005 |
|---|
| 29 | EE | Taisuke Sato,
Yoshitaka Kameya,
Neng-Fa Zhou:
Generative Modeling with Failure in PRISM.
IJCAI 2005: 847-852 |
| 28 | EE | Neng-Fa Zhou:
Programming Finite-Domain Constraint Propagators in Action Rules
CoRR abs/cs/0506005: (2005) |
| 2004 |
|---|
| 27 | EE | Neng-Fa Zhou:
A Constraint-Based Graphics Library for B-Prolog.
CP 2004: 819-820 |
| 26 | | Yoshitaka Kameya,
Taisuke Sato,
Neng-Fa Zhou:
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing.
ECAI 2004: 490-494 |
| 25 | EE | Neng-Fa Zhou,
Yi-Dong Shen,
Taisuke Sato:
Semi-naive evaluation in linear tabling.
PPDP 2004: 90-97 |
| 2003 |
|---|
| 24 | EE | Neng-Fa Zhou,
Taisuke Sato:
Efficient fixpoint computation in linear tabling.
PPDP 2003: 275-283 |
| 23 | EE | Neng-Fa Zhou:
CGLIB - a constraint-based graphics library.
Softw., Pract. Exper. 33(13): 1199-1216 (2003) |
| 2002 |
|---|
| 22 | | Neng-Fa Zhou:
Implementing Constrant Solvers in B-Prolog.
Intelligent Information Processing 2002: 249-260 |
| 2001 |
|---|
| 21 | EE | Neng-Fa Zhou:
Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library.
ACM Symposium on Document Engineering 2001: 28-37 |
| 20 | EE | Neng-Fa Zhou:
Action Rules for Programming Constraint Propagators and Interactive User Interfaces.
INAP 2001: 57 |
| 19 | EE | Neng-Fa Zhou:
Action Rules for Programming Constraint Propagators and Interactive User Interfaces.
INAP (LNCS Volume) 2001: 197-204 |
| 18 | | Neng-Fa Zhou,
Yi-Dong Shen,
Li-Yan Yuan,
Jia-Huai You:
Implementation of a Linear Tabling Mechanism.
Journal of Functional and Logic Programming 2001(10): (2001) |
| 17 | | Yi-Dong Shen,
Li-Yan Yuan,
Jia-Huai You,
Neng-Fa Zhou:
Linear tabulated resolution based on Prolog control strategy.
TPLP 1(1): 71-103 (2001) |
| 2000 |
|---|
| 16 | EE | Neng-Fa Zhou,
Yi-Dong Shen,
Li-Yan Yuan,
Jia-Huai You:
Implementation of a Linear Tabling Mechanism.
PADL 2000: 109-123 |
| 15 | EE | Yi-Dong Shen,
Li-Yan Yuan,
Jia-Huai You,
Neng-Fa Zhou:
Linear Tabulated Resolution Based on Prolog Control Strategy
CoRR cs.AI/0003046: (2000) |
| 1999 |
|---|
| 14 | EE | Neng-Fa Zhou:
Building Java Applets by Using DJ - A Java-based Constraint Language.
COMPSAC 1999: 442- |
| 13 | | Neng-Fa Zhou,
Yi-Dong Shen,
Li-Yan Yuan,
Jia-Huai You:
A Linear Tabling Mechanism.
ICLP 1999: 618 |
| 12 | EE | Yi-Dong Shen,
Li-Yan Yuan,
Jia-Huai You,
Neng-Fa Zhou:
Linear Tabulated Resolutions for the Well-Founded Semantics.
LPNMR 1999: 192-205 |
| 11 | EE | Neng-Fa Zhou,
Sosuke Kaneko:
A Hybrid Algorithm for Compiling Equality Constraints and its Implementation.
Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
| 1998 |
|---|
| 10 | | Neng-Fa Zhou:
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints.
IJCSLP 1998: 70-84 |
| 1996 |
|---|
| 9 | | Neng-Fa Zhou:
A Novel Implementation Method of Delay.
JICSLP 1996: 97-111 |
| 8 | EE | Neng-Fa Zhou:
Parameter Passing and Control Stack Management in Prolog Implementation Revisited.
ACM Trans. Program. Lang. Syst. 18(6): 752-779 (1996) |
| 1995 |
|---|
| 7 | | Neng-Fa Zhou:
A Logic Programming Approach to Channel Routing.
ICLP 1995: 217-231 |
| 1994 |
|---|
| 6 | | Neng-Fa Zhou:
On the Scheme of Passing Arguments in Stack Frames for Prolog.
ICLP 1994: 159-174 |
| 1993 |
|---|
| 5 | | Neng-Fa Zhou:
Beta-Prolog: An Extended Prolog with Boolean Tables for Combinatorial Searching.
ICTAI 1993: 312-319 |
| 4 | | Neng-Fa Zhou:
On the Direct Parameter Passing Mechanism for Prolog Compilers.
ILPS 1993: 655 |
| 3 | | Neng-Fa Zhou:
Global Optimizations in a Prolog Compiler for the TOAM.
J. Log. Program. 15(4): 275-294 (1993) |
| 1992 |
|---|
| 2 | | Neng-Fa Zhou,
Isao Nagasawa:
Implementing Graph Algorithms in BeTa-Prolog.
IWAR 1992: 23-32 |
| 1990 |
|---|
| 1 | | Neng-Fa Zhou,
Toshihisa Takagi,
Kazuo Ushijima:
A Matching Tree Oriented Abstract Machine for Prolog.
ICLP 1990: 159-173 |
