Publications
1993. Image based typographic analysis of documents. Document Analysis and Recognition, 1993., Proceedings of the Second International Conference on. :769-773.
1993. Improving the accuracy of touchscreens: an experimental evaluation of three strategies. Sparks of innovation in human-computer interaction. :161-161.
1993. Interlingual machine translation A parameterized approach. Artificial Intelligence. 63(1–2):429-492.
1993. Interoperable query processing with multiple heterogeneous knowledge servers. Proceedings of the second international conference on Information and knowledge management. :461-470.
1993. Investigating touchscreen typing: the effect of keyboard size on typing speed. Behaviour & Information Technology. 12(1):17-22.
1993. Iterative Methods for Finding the Stationary Vector for Markov Chains. Linear Algebra, Markov Chains, and Queuing ModelsLinear Algebra, Markov Chains, and Queuing Models. 48:125-136.
1993. A Krylov multisplitting algorithm for solving linear systems of equations. Linear Algebra and its Applications. 194:9-29.
1993. The lattice structure of flow in planar graphs. SIAM Journal on Discrete Mathematics. 6:477-477.
1993. A linear-time model-checking algorithm for the alternation-free modal mu-calculus. Formal methods in system design. 2(2):121-147.
1993. Local conditions for phase transitions in neural networks with variable connection strengths. Neural networks. 6(5):667-676.
1993. Logic and Artificial Intelligence: A New Synthesis? ANNALES-SOCIETATIS MATHEMATICAE POLONAE SERIES 4. 18:297-297.
1993. Machine Translation of Spatial Expressions: Defining the Relation betweenan Interlingua and a Knowledge Representation System. IN PROCEEDINGS OF TWELFTH CONFERENCE OF THE AMERICAN ASSOCIATION FOR ARTIFICIAL IN℡LIGENCE. :374-379.
1993. MANDATE: managing networks using database technology. IEEE Journal on Selected Areas in Communications. 11(9):1360-1372.
1993. On The Maximum Number of Intersections of Two Polyhedra in 2 and 3 Dimensions. Proceedings of the Fifth Canadian Conference on Computational Geometry, Waterloo, Ontario. :49-54.
1993. Motion constraint patterns. , Proceedings of IEEE Workshop on Qualitative Vision, 1993. :128-139.
1993. Multiple disorder diagnosis with adaptive competitive neural networks. Artificial intelligence in medicine. 5(6):469-487.
1993. Multiple Resource Allocation for Multiprocessor Distributed Real-Time Systems. In Workshop on Parallel and Distributed Real-Time Systems (PDRTS), IEEE IPPS'93.