Journal of Computer Science and Technology, Volume 12

Volume 12, Number 1, January 1997

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

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

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

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

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

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

Last update Tue May 21 19:14:06 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page