Journal: J. Comput. Sci. Technol.

Volume 12, Issue 6

481 -- 496Deyi Li. Knowledge representation in KDD based on linguistic atoms
497 -- 509Yangjun Chen. Counting and topological order
510 -- 519Zengping Tian, Yujun Wang, Yunyao Qu, Baile Shi. On the expressive power of F-logic language
520 -- 531Yangyong Zhu, Depei Guo, Baile Shi. Techniques of integrating Datalog with PROLOG
532 -- 542Dianxun Shuai. Hyper-distributed hyper-parallel implementation of heuristic search of implicit AND/OR graph
543 -- 554Dianxun Shuai. Concurrent competitive wave approach to hyper-distributed hyper-parallel AI processing
555 -- 563Fangmin Song. The expansion postponement in Pure Type Systems
564 -- 570Tianzi Jiang, Songde Ma. Contour matching using wavelet transform and multigrid methods
571 -- 573Yun Wang, Guanqun Gu. Minimum QOS parameter set in transport layer

Volume 12, Issue 5

385 -- 399Wen Gao, Xilin Chen. A stochastic approach for blurred image restoration and optical flow computation on field image sequence
400 -- 407Yongyue Zhang, Zhenyun Peng, Suya You, Guangyou Xu. A multi-view face recognition system
408 -- 413Yingqing Xu, Cheng Su, Dongxu Qi, Hua Li, Shenquan Liu. Simulation of waters
414 -- 424Jizhou Sun, Richard L. Grimsdale. A radiosity solution for curved surface environments
425 -- 440Yuxi Fu. Constructive sets in computable sets
441 -- 457Hairong Kuang, Yongqiang Sun, Kai Lin. A partial evaluator for a parallel lambda language
458 -- 469Genjiang Zhu, Li Xie, Zhongxiu Sun. NUAPC: A parallelizing compiler for C++
470 -- 475GuoQiang Peng. Mapping between 2-d meshes of the same size
476 -- 480Junzhou Luo, Guanqun Gu. CIMS network protocol and its net models

Volume 12, Issue 4

289 -- 305Ren-ji Tao, Shihua Chen, Xuemei Chen. FAPKC3: A new finite automaton public key cryptosystem
306 -- 313Qi Cheng, Hong Zhu. MNP: A class of NP optimization problems
314 -- 329Jinyun Xue. A unified approach for developing efficient algorithmic programs
330 -- 336Dianxun Shuai. Asynchronous superimposition mechanisms of concurrent competitve waves for hyper-distributed hyper-parallel heuristic problem solving
337 -- 345Chenghong Zhang, Yunfa Hu, Baile Shi. A reasoning mechanism for deductive object-oriented databases
346 -- 365Yangjun Chen. Magic sets revisited
366 -- 371Wangning Long, Yinghua Min, Shiyuan Yang, Shibai Tong. Short-time scaling of variable ordering of OBDDs
372 -- 384Schubert Foo, Siu Cheung Hui. System architectural design for delivering video mail over the World-Wide-Web

Volume 12, Issue 3

193 -- 201Shuming Gao, Qunsheng Peng. Hierarchical geometric constraint model for parametric feature based modeling
202 -- 209Zhou Wang, Yinglin Yu. Dynamic fractal transform with applications to image data compression
210 -- 216Kaihuai Qin. Representing quadric surfaces using NURBS surfaces
217 -- 230Feng Dong, Wenli Cai, Tianzhou Chen, Jiaoying Shi. Three-dimensional volume datafield reconstruction from physical model
231 -- 243Qingping Tan. A higher-order unification algorithm for inductive types and dependent types
244 -- 251Minglu Li, Yongqiang Sun, Huanye Sheng. Nondeterministic temporal relations in multimedia data
252 -- 262Weiyi Liu, Hong Yao. A logical design method for relational databases based on generalization and aggregation semantics
263 -- 270Li Shen. Fuzzy logic control ASIC chip
271 -- 282Zhuxing Zhao, Yinghua Min, Zhongcheng Li. Path sensitization
283 -- 288Yufang Sun. Hanzix and Chinese open system platform

Volume 12, Issue 2

97 -- 104Jiachang Sun, Xuebin Chi, JianWen Cao, Linbo Zhang. Parallel algorithm design on some distributed systems
105 -- 112Weiyu Tang, Wu Shi, Binyu Zang, Chuanqi Zhu. Exploiting loop parallelism with redundant execution
113 -- 120Chengjiang Lin, Sanli Li. Strategy and simulation of adaptive RID for distributed dynamic load balancing in parallel systems
121 -- 132Xuejun Wang, Chunyi Shi. A multiagent dynamic interaction testbed: Theoretic framework, system architecture and experimentation
133 -- 144Chih-Ho Yu, Frank M. Caimi. Determination of horizontal motion through optical flow computations
145 -- 153Bin Chen, Jiarong Hong, Yadong Wang. The minimum feature subset selection problem
154 -- 159Xuehong Tao, Wei Sun, Shaohan Ma. A practical propositional knowledge base revision algorithm
160 -- 166Ninghui Sun, Wenzhuo Liu, Hong Liu, Chuanbao Wang, Xuelin Lu, Hao Zhang. Dawning-1000 PROOS distributed operating system
167 -- 176Jiubin Ju, Yong Wang, Yu Yin. Scheduling PVM tasks
177 -- 184Fang Zheng, Wenhu Wu, Ditang Fang. A log-index weighted cepstral distance measure for speech recognition
185 -- 188Fang Chen, Baozong Yuan. An approach to intelligent speech production system
189 -- 192Jian Liu, Zhiming Chen, Zhong Du, Baiping Yan. A switched capacitor harmonic compensation part for switching supplies

Volume 12, Issue 1

1 -- 9Lihong Zhi. Optimal algorithm for algebraic factoring
10 -- 16Jinzhao Wu. Mechanical geometry theorem proving based on groebner bases
17 -- 28Ningchuan Shen, Wei Li. R-calculus for ELP: An operational approach to knowledge base maintenance
29 -- 39Linpeng Huang, Weiqin Tong, Kam-Wing Ng, Yongqiang Sun. Implementation of GAMMA on a massively parallel computer
40 -- 48Hao Wang. ::::R:::: ::a::R::b:: transformation of compound finite automata over commutative rings
49 -- 57Zhanyi Hu, Songde Ma. Performance prediction of the hough transform
65 -- 75Qingyi Hua. An approach to user interface specification with attribute grammars
76 -- 89Kaihuai Qin. Neural network methods for NURBS curve and surface interpolation
90 -- 96Chengqing Zong, Zhaoxiong Chen, Heyan Huang. Parsing with dynamic rule selection