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

Volume 12, Number 2, March 1997

• 
  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

Volume 12, Number 3, May 1997

• 
  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

Volume 12, Number 4, July 1997

• 
  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

Volume 12, Number 5, September 1997

• 
  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

Volume 12, Number 6, November 1997

• 
  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 updated on Fri May 24 06:16:55 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page