Previous

Vol.7 No.3 (September 1991)

PAPERS

1. A New Approach to Robot Guidance in an Unfamiliar Environment Using Indication-Posts
   Jiann-Der Lee, Jau-Yien Lee, Chin-Hsing Chen, King-Chu Hung and Chia-Nian Shyi......pp.301-333
   
   
2. A Branch-and-Bound Algorithm for Single-Row Routing
   Rong-Jaye Chen and Yu-Song Hou......pp.335-345
   
   
3. Time Analysis of a Heterogeneous Multi-Server Queue with a General Service Time Requirement
   Jau-Hsiung Huang and Jun-Song Lee......pp.347-366
   
   
4. Easily Testable Cellular Array Multipliers
   Kun-Jin Lin and Cheng-Wen Wu......pp.367-383
   
   
5. Design of a Parallel Theorem Prover for First Order Logic
   Wen-Tsuen Chen, Tzren-Ru Chou, Kuen-Rong Hsieh and Huai-Jen Liu......pp.385-403
   
   
6. Spatial Match Retrieval of Symbolic Pictures
   Chin-Chen Chang......pp.405-422
   
   
7. The Transfer Delays and Buffer Requirements in a General Cut-through Switching Network under Two Error Control Strategies
   Chung-Ju Chang and Jin-Ing Wang......pp.423-436
   
   
8. Temporal Knowledge Management in IB-TEMPLOG
   Hsin-Hsi Chen and Cheng-Hsih Chang......pp.437-457