Previous

Vol.12 No.1 (March 1996)

PAPERS

1. Least-Squares Algorithms for Motion and Shape Recovery Under Perspective Projection
   Chiou-Shann Fuh and Petros Maragos......pp.1-23
   
   
2. An Algebraic Theory for Modeling Directt Interconnection Networks
   S.D. Kaushik, S. Sharma, C.H. Huang, J.R. Johnson, R.W. Johnson and P. Sadayappan......pp.25-49
   
   
3. Implementing the Division Operation on a Database containing Uncertain Data
   Frank S.C. Tseng, Arbee L.P. Chen and Wei-Pang Yang......pp.51-78
   
   
4. A New Relation Partitioning Scheme for Distriibuted Query Optimization
   Wen-Fang Wang and Arbee L.P. Chen......pp.79-99
   
   
5. A Category-Theoretic Treatment of Automated Theorem Proving
   Maria Paola Bonacina and Jieh Hsiang......pp.101-125
   
   
   SHORT PAPERS
   
6. Maximum and Minimum Matchings for Seriew-Parallel Networks
   Shih-Yih Wang and Lih-Hsing Hsu......pp.127-142
   
   
7. Multi-Signature for Specified Group of Verifiers
   Chi-Sing Laih and Sung-Ming Yen......pp.143-152
   
   
8. A New Simulation Model for Wave Generation
   Der-Baau Perng and Jia-Lin Tsai......pp.153-156