Volume 12, Number 1, January 1997
: Optimal algorithm for algebraic factoring.
: Mechanical geometry theorem proving based on groebner bases.
, Wei Li
: R-calculus for ELP: An operational approach to knowledge base maintenance.
: R aRb transformation of compound finite automata over commutative rings.
: An approach to user interface specification with attribute grammars.
: Neural network methods for NURBS curve and surface interpolation.
Volume 12, Number 2, March 1997
, Sanli Li
: Strategy and simulation of adaptive RID for distributed dynamic load balancing in parallel systems.
, Chunyi Shi
: A multiagent dynamic interaction testbed: Theoretic framework, system architecture and experimentation.
Volume 12, Number 3, May 1997
, Yinglin Yu
: Dynamic fractal transform with applications to image data compression.
: Representing quadric surfaces using NURBS surfaces.
: A higher-order unification algorithm for inductive types and dependent types.
, Hong Yao
: A logical design method for relational databases based on generalization and aggregation semantics.
: Fuzzy logic control ASIC chip.
: Hanzix and Chinese open system platform.
Volume 12, Number 4, July 1997
: A unified approach for developing efficient algorithmic programs.
: Asynchronous superimposition mechanisms of concurrent competitve waves for hyper-distributed hyper-parallel heuristic problem solving.
Volume 12, Number 5, September 1997
, Xilin Chen
: A stochastic approach for blurred image restoration and optical flow computation on field image sequence.
: Constructive sets in computable sets.
: Mapping between 2-d meshes of the same size.
Volume 12, Number 6, November 1997
: Knowledge representation in KDD based on linguistic atoms.
: Hyper-distributed hyper-parallel implementation of heuristic search of implicit AND/OR graph.
: Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing.
: The expansion postponement in Pure Type Systems.