Journal: J. Comput. Sci. Technol.

Volume 8, Issue 4

307 -- 316Weidong Zheng, Zongkai Lin, Yuchai Guo. A data manager for engineering applications
317 -- 321Bo Zhang, Ling Zhang. The complexity of recognition in the single-layered PLN network with feedback connections
322 -- 328Liqun Jin, Feng Chen, Zhichen Xu, Jiahau Qian. CCD: An integrated C coding and debugging tool
329 -- 336Yaoqing Gao, Dingxing Wang, Weimin Zheng, Meiming Shen, Zhiyi Huang, Shouren Hu, Giorgio Levi. Parallel execution of prolog on shared-memory multiprocessors
337 -- 346Jianqiang Zhou, Liqun Yang, Shilei Pan, Hong Tan. BSD/I18N - Internationalization of the 4.3BSD UNIX system
347 -- 355Jianqiang Zhou, Li Xie, Zhongxiu Sun, Genjiang Zhu. An adaptive strategy integrating locking with optimistic concurrency control
356 -- 361Xiexiong Chen, Haomin Wu. The mapping synthesis of ternary functions under fixed polarities
362 -- 366Jun Ma, Shaohan Ma. Efficient parallel algorithms for some graph theory problems
367 -- 373Yong Yan. An optimal algorithm for solving collision distance between convex polygons in plane
374 -- 378Haishui Xu, Xianji Li, Richard W. Nau. Performance of multicast communication on hypercubes
379 -- 384Zhifang Ma. DKBLM - Deep knowledge based learning methodology

Volume 8, Issue 3

193 -- 204Wei Li 0022. A comparative study of default reasoning and epistemic processes
205 -- 208Yuefei Sui. Bounded recursively enumerable sets and degrees
209 -- 220Guohua Jin, Fujie Chen. Optimizing FORTRAN programs for hierarchical memory parallel processing systems
221 -- 232Hong Liu, Wenhong Wang, Defu Zhang. A methodology for mapping and partitioning arbitrary ::::n:::: -dimensional nested loops into 2-dimensional VLSI arrays
233 -- 242Meiming Shen, Xinmin Tian, Dingxing Wang, Weimin Zheng, Dongchan Wen. Optimized parallel execution of declarative programs on distributed memory multiprocessors
243 -- 251Manwu Xu. An implementation of pure Horn clause logic programming in a reduction system
252 -- 256Bo Zhang, Ling Zhang. On memory capacity of the Probabilistic Logic Neuron network
257 -- 269Adelino Santos. Cooperative hypermedia editing with CoMEdiA
270 -- 279Junzhong Gu. Modelling enterprises with object-oriented paradigm
280 -- 288Kaihuai Qin, Jiaguang Sun. A new local control spline with shape parameters for CAD/CAM

Volume 8, Issue 2

97 -- 107Yidong Shen, Fu Tong, Daijie Cheng. On local stratifiability of logic programs and databases
108 -- 117Yidong Shen. A fixpoint semantics for stratified databases
118 -- 132Xindong Wu. Inductive learning
133 -- 137Zhijian Wang. Validating inductive hypotheses by mode inference
138 -- 146Lu Jian, Jiafu Xu. Design rationale for a wide spectrum specification language FGSPEC
147 -- 154Jinyun Xue. Two new strategies for developing loop invariants and their applications
155 -- 161Shao Zhiqing. A standard model-theoretic approach to operational semantics of recursive programs
162 -- 171Yiyun Chen. Nonterminating rewritings with head boundedness
172 -- 181Man-Chi Pong, Yongguang Zhang, Hong Xu, Jie Ding. OOMMS: A module management system based on an object-oriented model
182 -- 187Yunzhan Gong, Daozheng Wei. Deductive fault simulation algorithm based on fault collapsing
188 -- 192Yao-Xue Zhang, Meilin Shi, Norio Shiratori. A knowledge-based specification technique for protocol development

Volume 8, Issue 1

1 -- 10Yongcheng Li, Bo Zhang. A topological implementation for motion planning of a robotic arm
11 -- 16Songde Ma, Guoqing Wei, Jinfeng Huang. Segment based camera calibration
17 -- 25Guoqing Wei, Songde Ma. 3D Motion estimation and motion fusion by affine region matching
26 -- 37Renwei Li, Pei He, Wenhui Zhang. An introduction to INCAPS system
38 -- 48Zhi Jin, Shouren Hu. SCKE: Combining logic- with object-oriented paradigm
49 -- 57Guohua Jin, Xuejun Yang, Fujie Chen. Loop staggering, loop compacting: Restructuring techniques for thrashing problem
58 -- 67Tieqing Deng, Quanyuan Wu, Zhiying Wang. A new integrated system of logic programming and relational database
68 -- 76Meirui Xu, Xiaolin Liu. A VLSI algorithm for calculating the tree to tree distance
77 -- 86Weigeng Shi, Brigitte Servatius. Analyzing the reliability of degradable networks
87 -- 91Qingfang Chen, Daozheng Wei. DLJ: A dynamic line-justification algorithm for test generation
92 -- 96Sieger van Denneheuvel, Karen L. Kwast, Zhisheng Huang, Peter van Emde Boas. A survey of the rule language RL/1