Leaders in Learning: Publications of Faculty & Staff

The University of Western Ontario


Computer Science: 1996-1997

 

BARRON, J.L.

Barron, J.L., and M. Khurana. May 1997. Determining Optical Flow for Large Motions Using Parametric Models in a Hierarchical Framework. Vision Interface. 47-56.

Barron, J.L., and A. Liptay. 1997. Measuring 3-D Plant Growth Using Optical Flow. Bioimaging 5: 82-86.

Beauchemin, S.S., A. Chalifour, and J.L. Barron. May 1997. Discontinuous Optical Flow: Recent Theoretical Results. Vision Interface. 57-64.

Cheng, D., R.E. Mercer, J.L. Barron, and P. Joe. 1996. Tracking Fuzzy Storm Centers in Doppler Radar Images. ICIP96: IEEE International Conference on Image Processing, Volume 2. Lausanne, Switzerland: September 1996. 959-962.

McKee, S.D., and J.L. Barron. February 1997. Image Sequence Synthesis for Optical Flow Analysis. Technical Report #498. Department of Computer Science , U.W.O.: London, Ontario. 29 pp.

 

BAUER, M.

Lutfiyya, H., M. Edmonds, S. Osborn, and M. Bauer. 1997. Chronic Ambulatory Care Information Systems: Diabetes Mellitus. Canada's Health Informatics Association (COACH). April 1997. 18-23.

 

DUNHAM, C.

Dunham, C. February 1997. Problems in Best Approximation, IX. Technical Report #499. Department of Computer Science, U.W.O.: London, Ontario. 4 pp.

Dunham, C. July 1996. Problems in Best Approximation, VIII. Technical Report #494. Department of Computer Science, U.W.O.: London, Ontario. 3 pp.

Dunham, C.. May 1997. Topics in Error Analysis and Function Evaluation. Technical Report #501. Department of Computer Science, U.W.O.: London, Ontario. 10 pp.

 

GARGANTINI, I.

Gargantini, I., T.R.S. Walsh, and T. Yiu. 1996. A Theoretical Result on Star-Polygons and Its Application to Triangulation. 7th International Conference on Engineering Computer Graphics and Descriptive Geometry, Proceedings. Cracow, Poland: 18 July 1996-22 July 1996. 182-186.

 

JURGENSEN, H.

Jurgensen, H., and K. Salomaa. 1997. Block-Synchronization Context-Free Grammars. Advances in Algorithms, Languages, and Complexity. D.-Z. Du, and K.-I. Ko. The Netherlands: Kluwer Academic Publishers. 111-137.

 

KARI, L.

Kari, L. 1997. DNA Computing: Arrival of Biological Mathematics. The Mathematical Intelligencer 19 (2): 9-22.

Kari, L., G. Paun, and A. Salomaa. 1996. The Power of Restricted Splicing with Rules from a Regular Set. Electronic Journal of Universal Computer Science 2 (4). Electronic Journal.

Kari, L., G. Paun, G. Thierrin, and S. Yu. 1997. At the Crossroads of DNA Computing and Formal Languages: Characterizing Recursively Enumerable Languages by Insertion-Deletion Systems. Proceedings of 3rd DIMACS Workshop on DNA-Based Computers. Philadelphia, PA: June 1997. 318-333.

Kari, L., G. Rozenberg, and A. Salomaa. 1997. L Systems. Handbook of Formal Languages. Volume 1: Word, Language, Grammar. G. Rozenberg, and A. Salomaa. Berlin: Springer-Verlag. 253-328.

Kari, L., and G. Thierrin. 1996. Contextual Insertions/Deletions and Computability. Information and Computation 131 (1): 47-61.

Kari, L., and G. Thierrin. 1996. Maximal and Minimal Solutions to Language Equations. Journal of Computer and System Sciences 53 (3): 487-496.

Kari, L., and G. Thierrin. 1996. Morphisms and Associated Congruences. Developments in Language Theory II: At the Crossroads of Mathematics, Computer Science and Biology. Magdeburg, Germany: 17 July 1995-21 July 1995. J. Dassow, G. Rozenberg, and A. Salomaa. London, England: World Scientific. 119-128.

 

LING, C.X.

Ling, C.X. 1996. Can Symbolic Algorithms Model Cognitive Development? Proceedings of the Eighteenth Annual Conference of the Cognitive Science Society. University of California, San Diego: 12 July 1996-15 July 1996. G.W. Cottrell. Mahwah, New Jersey: Lawrence Erlbaum Associates, Publishers. 67-68.

Ling, C.X., and H. Wang. 1997. Computing Optimal Attribute Weight Settings for Nearest Neighbor Algorithms. Artificial Intelligence Review 11: 255-272.

Schmidt, W.C., and C.X. Ling. 1996. A Decision-Tree Model of Balance Scale Development. Machine Learning 24: 203-230.

Schmidt, W.C., and C.X. Ling. 1996. A Symbolic Model of Cognitive Transition. Proceedings of the Eighteenth Annual Conference of the Cognitive Science Society. University of California, San Diego: 12 July 1996-15 July 1996. G.W. Cottrell. Mahwah, New Jersey: Lawrence Erlbaum Associates, Publishers. 655-659.

 

LUTFIYYA, H.

Lutfiyya, H., M. Edmonds, S. Osborn, and M. Bauer. 1997. Chronic Ambulatory Care Information Systems: Diabetes Mellitus. Canada's Health Informatics Association (COACH). April 1997. 18-23.

 

MERCER, R.E.

Cheng, D., R.E. Mercer, J.L. Barron, and P. Joe. 1996. Tracking Fuzzy Storm Centers in Doppler Radar Images. ICIP96: IEEE International Conference on Image Processing, Volume 2. Lausanne, Switzerland: September 1996. 959-962.

Dent, M.J., and R.E. Mercer. 1996. An empirical investigation of the forward checking algorithm and its derivatives. Proceedings of the 8th International Conference on Tools with Artificial Intelligence. IEEE Computer Society. 278-285.

Merkle, L.E., and R.E. Mercer. 1996. Are interactive media as large as life and half as natural? Design and Computing Systems: Social and Ergonomic Considerations. Proceedings of the 7th International Conference on Human-Computer Interaction. M.J. Smith, G. Salvendy, and R.J. Koubek. Advances in Human Factors, Vol. 21B. Elsevier. 55-58.

Silver, D.L., and R.E. Mercer. 1996. The Parallel Transfer of Task Knowledge Using Dynamic Learning Rates Based on a Measure of Relatedness. Connection Science 8 (2): 277-294.

 

OSBORN, S.

Lutfiyya, H., M. Edmonds, S. Osborn, and M. Bauer. 1997. Chronic Ambulatory Care Information Systems: Diabetes Mellitus. Canada's Health Informatics Association (COACH). April 1997. 18-23.

Nyanchama, M., and S. Osborn. 1996. The Role Graph Model (Chapter 5). First ACM Workshop on Role-Based Access Control. Gaithersburg, MD: 30 November 1995-1 December 1995. C. Youman, R. Sandhu, and E. Coyne. New York, NY: Association for Computing Machinery, ACM. II-25 - II-31.

Osborn, S., L.K. Reid, and G.J. Wesson. 1996. On the Interaction Between Role-Based Access Control and Relational Databases (Chapter 17). Database Security Volume X: Status and prospects. IFIP TC11 / WG11.3 Tenth International Conference on Database Security. Como, Italy: 22 July 1996-24 July 1996. P. Samarati, and R. Sandhu. London: Chapman & Hall. 275-287.

 

SALOMAA, A.

Kari, L., G. Paun, and A. Salomaa. 1996. The Power of Restricted Splicing with Rules from a Regular Set. Electronic Journal of Universal Computer Science 2 (4). Electronic Journal.

Kari, L., G. Rozenberg, and A. Salomaa. 1997. L Systems. Handbook of Formal Languages. Volume 1: Word, Language, Grammar. G. Rozenberg, and A. Salomaa. Berlin: Springer-Verlag. 253-328.

Kari, L., and G. Thierrin. 1996. Morphisms and Associated Congruences. Developments in Language Theory II: At the Crossroads of Mathematics, Computer Science and Biology. Magdeburg, Germany: 17 July 1995-21 July 1995. J. Dassow, G. Rozenberg, and A. Salomaa. London, England: World Scientific. 119-128.

 

SALOMAA, K.

Ehrenfeucht, A., G. Rozenberg, and K. Salomaa. 1997. Semantics of Nonsequential Tree-based Computation Schemes. Fundamenta Informaticae 29 (4): 305-324.

Guo, L., K. Salomaa, and S. Yu. 1996. On Synchronization Languages. Fundamenta Informaticae 25: 423-436.

Jurgensen, H., and K. Salomaa. 1997. Block-Synchronization Context-Free Grammars. Advances in Algorithms, Languages, and Complexity. D.-Z. Du, and K.-I. Ko. The Netherlands: Kluwer Academic Publishers. 111-137.

Salomaa, K. 1996. Decidability of Equivalence for Deterministic Synchronized Tree Automata. Theoretical Computer Science 167: 171-192.

Salomaa, K. 1996. On The Modularity of Decidability of Completeness and Termination. Journal of Automata, Languages and Combinatorics 1 (1): 37-53.

Salomaa, K. 1996. Yield-Languages of Two-way Pushdown Tree Automata. Information Processing Letters 58: 195-199.

Salomaa, K., and S. Yu. 1996. EDTOL Structural Equivalence is Decidable. Combinatorics, Complexity, and Logic, Proceedings of DMTCS'96. Auckland, NZ: December 1996. Singapore: Springer-Verlag. 363-375.

Salomaa, K., and S. Yu. 1997. NFA to DFA Transformation for Finite Languages. Automata Implementation, Proceedings of WIA'96. London, Ontario: August 1996. Lecture Notes Computer Science, Vol. 1260. Springer-Verlag. 149-158.

Salomaa, K., and S. Yu. 1996. Nondeterminism Degrees for Context-Free Languages. Proceedings of the Second International Conference on Developments in Language Theory, DLT. Magdeburg, Germany: Singapore: World Scientific. 154-165.

 

THIERRIN, G.

Kari, L., G. Paun, G. Thierrin, and S. Yu. 1997. At the Crossroads of DNA Computing and Formal Languages: Characterizing Recursively Enumerable Languages by Insertion-Deletion Systems. Proceedings of 3rd DIMACS Workshop on DNA-Based Computers. Philadelphia, PA: June 1997. 318-333.

Kari, L., and G. Thierrin. 1996. Contextual Insertions/Deletions and Computability. Information and Computation 131 (1): 47-61.

Kari, L., and G. Thierrin. 1996. Maximal and Minimal Solutions to Language Equations. Journal of Computer and System Sciences 53 (3): 487-496.

Kari, L., and G. Thierrin. 1996. Morphisms and Associated Congruences. Developments in Language Theory II: At the Crossroads of Mathematics, Computer Science and Biology. Magdeburg, Germany: 17 July 1995-21 July 1995. J. Dassow, G. Rozenberg, and A. Salomaa. London, England: World Scientific. 119-128.

 

WOOD, D.

Raymond, D., S. Yu, and D. Wood. August 1996. WIA '96 First International Workshop on Implementing Automata. Technical Report #495. Department of Computer Science , U.W.O.: London, Ontario. 169 pp.

 

WU, X.

Bao, P., and X. Wu. June 1997. Near-lossless Image Compression Schemes Based on Weighted Finite Automata Encoding and Adaptive Context Modeling. Proceedings of SEQUENCES 1997.

Memon, N., and X. Wu. February 1997. An Interband Coding Extension of New Lossless JPEG Standard. Proceedings of Visual Communications and Image Processing '97.

Wu, X. 1997. Lossless Compression of Continuous-tone Images via Context Selection, Quantization, and Modeling. IEEE Transactions on Image Processing 6 (5): 656-664.

Wu, X. 1997. Optimal Binary Vector Quantization via Enumeration of Covering Codes. IEEE Transactions on Information Theory 43 (2): 638-645.

Wu, X. 1996. YIQ Vector Quantization in a New Color Palette Architecture. IEEE Transactions on Image Processing 5 (2): 321-329.

Wu, X., and P. Bao. February 1997. Color Restoration from Digital Camera Data by Pattern Matching. Proceedings of Electronic Imaging.

Wu, X., and J. Chen. April 1997. Context Modeling and Entropy Coding of Wavelet Coefficients for Image Compression. Proceedings of 1997 International Conference on Acoustics, Speech, and Signal Processing.

Wu, X., W.K. Choi, and P. Bao. 1997. L(Infinity)-Constrained Near-Lossless Compression of Images. Proceedings of 1997 IEEE Data Compression Conference. April 1997. IEEE Computer Society Press. 91-100.

Wu, X., W. Jiang, and W.H. Wong. 1997. Conditional Entropy Coding of VQ Indexes for Image Compression. Proceedings of 1997 IEEE Data Compression Conference. April 1997. IEEE Computer Society Press. 347-356.

Wu, X., and N. Memon. 1997. Context-based, Adaptive, Lossless Image Codec. IEEE Transactions on Communications 45 (4): 437-444.

Zhang, K., S. Tang, and X. Wu. 1996. Fast Algorithms for Minimum Matrix Norm with Applications in Computer Graphics. Algorithmica 15 (1): 68-81.

 

YU, S.

Guo, L., K. Salomaa, and S. Yu. 1996. On Synchronization Languages. Fundamenta Informaticae 25: 423-436.

Kari, L., G. Paun, G. Thierrin, and S. Yu. 1997. At the Crossroads of DNA Computing and Formal Languages: Characterizing Recursively Enumerable Languages by Insertion-Deletion Systems. Proceedings of 3rd DIMACS Workshop on DNA-Based Computers. Philadelphia, PA: June 1997. 318-333.

Raymond, D., S. Yu, and D. Wood. August 1996. WIA '96 First International Workshop on Implementing Automata. Technical Report #495. Department of Computer Science , U.W.O.: London, Ontario. 169 pp.

Salomaa, K., and S. Yu. 1996. EDTOL Structural Equivalence is Decidable. Combinatorics, Complexity, and Logic, Proceedings of DMTCS'96. Auckland, NZ: December 1996. Singapore: Springer-Verlag. 363-375.

Salomaa, K., and S. Yu. 1997. NFA to DFA Transformation for Finite Languages. Automata Implementation, Proceedings of WIA'96. London, Ontario: August 1996. Lecture Notes Computer Science, Vol. 1260. Springer-Verlag. 149-158.

Salomaa, K., and S. Yu. 1996. Nondeterminism Degrees for Context-Free Languages. Proceedings of the Second International Conference on Developments in Language Theory, DLT. Magdeburg, Germany: Singapore: World Scientific. 154-165.

 

ZHANG, K.

Zhang, K., S. Tang, and X. Wu. 1996. Fast Algorithms for Minimum Matrix Norm with Applications in Computer Graphics. Algorithmica 15 (1): 68-81.