Journal of Computer Science and Technology, Volume 13

Volume 13, Number 1, January 1998

• Yunmei Dong:
  An interactive learning algorithm for acquisition of concepts represented as CFL. 1-8
  
• Wenqi Huang, Wei Li:
  A hopeful CNF-SAT algorithm - Its high efficiency, industrial application and limitation. 9-12
  
• Tong Zhang:
  Intuitionistic logic as the implement of incremental model construction for natural language. 13-17
  
• Yunfa Hu, Wolfgang Bibel:
  Reduction of cycle unification of type Cpg+r. 18-24
  
• Huiqun Yu, Guoxin Song, Yongqiang Sun:
  Completeness of the accumulation calculus. 25-31
  
• Haiqin Wang, Ruwei Dai:
  Document analysis by crosscount approach. 32-40
  
• Aiqun Wang, Nanning Zheng:
  Multiplicative inhibitory velocity detector and multi-velocity motion detection neural network model. 41-54
  
• Jingbo Gao, Xinyou Li, Zesheng Tang:
  Segmentation of stick text based on sub connected area analysis. 55-62
  
• Shimin Hu, Guojin Wang, Jianguang Sun:
  A type of triangular ball surface and its properties. 63-72
  
• Yingqing Xu, Hans E. Dehlinger, Dongxu Qi, Shenquan Liu:
  Line-art and its mathematical models. 73-78
  
• Ruibing Hao, Jianping Wu:
  A formal approach to protocol interoperability testing. 79-90
  
• Zhengfeng Hou:
  A topology designing system for a computer network. 91-96
  

Volume 13, Number 2, March 1998

• Weiwu Hu, Weisong Shi, Zhimin Tang, Ming Li:
  A lock-based cache coherence protocol for scope consistency. 97-109
  
• Weiwu Hu, Weisong Shi, Zhimin Tang:
  A framework of memory consistency models. 110-124
  
• Weiwu Hu, Peisu Xia:
  Out-of-order execution in sequentially consistent shared-memory systems: Theory and experiments. 125-140
  
• Xuebin Chi:
  Parallel implementation of linear algebra problems on Dawning-1000. 141-146
  
• Wei Li, Qiaolin Yang:
  Functional-level Fault Simulation with concurrent and parallel mechanisms using object-oriented VLSI model. 147-160
  
• Xiaofeng Meng, Kam-Fai Wong, Suen Man Yip, Vincent Y. Lum, Shan Wang:
  The processing and improvement of multi-statement queries in Chiql. 161-173
  
• Zuoquan Lin:
  Tableau systems for paraconsistency and minimal inconsistency. 174-188
  
• Jue Wang, Duoqian Miao:
  Analysis on attribute reduction strategies of rough set. 189-192
  

Volume 13, Number 3, May 1998

• Kewen Wang, Huowang Chen, Quanyuan Wu:
  The least fixpoint transformation for disjunctive logic programs. 193-201
  
• Yuxi Fu:
  Symmetric π-calculus. 202-208
  
• Bo Yi, Xianping Tao, Gianna Cioni, Attilio Colagrossi:
  Intuitive minimal abduction in sequent calculi. 209-219
  
• Bin Li, Xundong Liang, Shenquan Liu:
  A surface rendering approach in 3D rectilinear datafield. 220-227
  
• Zhiqiang Lao, Yunhe Pan:
  A knowledge representation model for video-based animation. 228-237
  
• Kui Fang, Jianrong Tan, Guoqing Zhu:
  C ²-( C ³-) continuous interpolation spline curve and surface. 238-245
  
• Weiguang Guan, Lin Xie, Songde Ma:
  Deformable registration of digital images. 246-260
  
• Wei Ding, Jian Gong, Xiao Yu:
  A traffic partition algorithm for switched LANs and its performance analysis. 261-267
  
• Xiaolong Zhang, Masayuki Numao:
  An efficient multiple predicate learner. 268-278
  
• Shitong Wang, E. Scott, A. Gamermann:
  Extract rules by using rough set and knowledge-based NN. 279-284
  
• Qiong Zhang, Jiaoying Shi:
  Acoustic simulation with dynamic mechanisms in virtual reality. 285-288
  

Volume 13, Number 4, July 1998

• Yidong Shen:
  Extracting schema from an OEM database. 289-299
  
• Yangjun Chen:
  Graph traversal and top-down evaluation of logic queries. 300-316
  
• Hong Wu, Xumin Nie:
  Extending STL with efficient data structures. 317-324
  
• Yin Zhang, Zhuoqun Xu:
  Concurrent manipulation of expanded AVL trees. 325-336
  
• Ning Gu, Zongkai Lin, Yuchai Guo:
  On model, memory management and interface in EDBMS/3. 337-347
  
• Jianhua Fan, Deyi Li:
  An overview of data mining and knowledge discovery. 348-368
  
• Bin Chen, Yong Hong:
  FCV₁: A new fast greedy covering algorithm. 369-374
  
• Shitong Wang:
  Normalized exponential neural networks. 375-383
  
• Minzhe Zhao, Zongkai Lin:
  Report from CSCWID'97. 384
  

Volume 13, Number 5, September 1998

• Zhanyi Hu, Wei Wang, Yi Yang, Songde Ma:
  A new definition of the Hough transform. 385-392
  
• Xin Tong, Zesheng Tang:
  Hardware assisted fast volume rendering with boundary enhancement. 393-401
  
• Feng Ma, Shaowei Xia:
  A multiscale approach to automatic medical image segmentation using self-organizing map. 402-409
  
• Haohong Wang, Ruixun Wu, Shijie Cai:
  A new algorithm for two-dimensional line clipping via geometric transformation. 410-416
  
• Junsheng Wu, Guangmao Wu:
  Element-partition-based methods for visualization of 3D unstructured grid data. 417-425
  
• Fang Zheng, Wenhu Wu, Ditang Fang:
  Center-distance continuous probability models and the distance measure. 426-437
  
• Xueyin Lin, Xiangrong Chen, Zhigang Zhu, Dingji Shi:
  Range information propagation transform. 438-447
  
• Jun Song, Guanqun Gu:
  Modeling distributed multimedia synchronization with DSPN. 448-454
  
• Xiaofeng Li, Biao Shou, Shirong Zheng:
  Research on the optimal parallel algorithms of broadcast-class problems. 455-463
  
• Jingzhou Zhou:
  A neural network model based on logical operations. 464-470
  
• Jiyong Ma, Wen Gao:
  The supervised learning Gaussian mixture model. 471-474
  
• Yong Cai, Pheng-Ann Heng, Enhua Wu, Xuehui Liu, Hongju Li, Qingjie Sun:
  An image-based virtual reality prototype system. 475-480
  

Volume 13, Number 6, November 1998

• Pierre-Louis Curien, Matthew Hennessy, Huimin Lin:
  Preface. 481
  
• Colin Stirling:
  Playing games and proving properties of concurrent systems. 482
  
• Enshao Shen:
  Some notes on graph automata, tiling systems and partition logic. 483-489
  
• Matthew Hennessy:
  Process Calculi for describing distributed systems. 490
  
• Ewen Denney:
  Simply-typed underdeterminism. 491-508
  
• Gérard Boudol:
  Calculi for concurrent processes. 509
  
• Yuxi Fu:
  Reaction graph. 510-530
  
• David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez:
  An invitation to friendly testing. 531-545
  
• G. Huet:
  A crash course in λ-calculus. 546
  
• Ziqiang He:
  Another definition of order-sorted algebra. 547-551
  
• Chaochen Zhou:
  An overview of Duration Calculus. 552
  
• Jinyun Xue:
  Formal derivation of graph algorithmic programs using partition-and-recur. 553-561
  
• Pierre-Louis Curien:
  Explicit substitutions: A short survey. 562-563
  
• Gang Chen:
  Dependent type system with subtyping (I) type level transitivity elimination. 564-578
  
• Yuxi Fu:
  Structures definable in polymorphism. 579-587
  
• Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhenghu Gong, Zhichang Qi:
  Verifying automata specification of distributed probabilistic real-time systems. 588-596
  
• Hong Lin, Guoliang Chen:
  Program construction by verifying specification. 597-607
  
• Weifeng Lu, Yuping Zhang:
  Experimental study on strategy of combining SAT algorithms. 608-614
  
• Zhenyu Wang:
  ρ Graph: Rendezvous ordering graph for Ada concurrent programs. 615-622
  

Last update Sat May 18 20:40:48 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page