Publications
1993. Two dimensional pattern matching in a digitized image. Combinatorial Pattern Matching. :134-151.
1993. Use of an environment classification model. Proceedings of the 15th international conference on Software Engineering. :348-357.
1993. The Use of the L-Curve in the Regularization of Discrete Ill-Posed Problems. SIAM Journal on Scientific Computing. 14(6):1487-1503.
1993. User interface consistency: an evaluation of original and revised interfaces for a videodisk library. Sparks of innovation in human-computer interaction. :259-259.
1993. Using differential technlques to efficiently support transaction time. The VLDB JournalVLDB Journal. 2(1):75-111.
1993. Using measurement-driven modeling to provide empirical feedback to software developers. Journal of Systems and Software. 20(3):237-243.
1993. Using Synthetic-Perturbation Techniques for Tuning Shared Memory Programs. Parallel Processing, 1993. ICPP 1993. International Conference on. 2:2-10.
1993. Vacuum-logic. Proceedings of AAAI 1993 Fall Symposium Series: Instantiating Real-World Agents. :51-54.
1993. VLSI implementation of a tree searched vector quantizer. Signal Processing, IEEE Transactions on. 41(2):901-905.
1993. Workshop summary: AAAI-92 Workshop on Constraining Learning with Prior Knowledge. ACM SIGART Bulletin. 4(3):11-13.
1992. Anthropomorphism: from Eliza to Terminator 2. Proceedings of the SIGCHI conference on Human factors in computing systems. :67-70.
1992. An application of decision theory for the evaluation of software prototypes. Journal of Systems and Software. 19(1):27-39.
1992. Behavioral Visual Motion Analysis,". Proceedings, DARPA Image Understanding Workshop. :521-541.
1992. Biconnectivity Approximations and Graph Carvings. Proceedings of the Twenty-fourth Annual ACM Symposium on the Theory of Computing, Victoria, British Columbia, Canada, May 4-6, 1992. :759-759.
1992. Building a lexicon for machine translation: use of corpora for aspectual classification of verbs.
1992. A class-based approach to lexical discovery. Proceedings of the 30th annual meeting on Association for Computational Linguistics. :327-329.
1992. Computing diagnostic tests for incorrect processes. Proc. IFIP WG6. 1 12th Intl. Symp. on Protocol Specification, Testing, and Verification. :263-278.
1992. Constrained Matrix Sylvester Equations. SIAM Journal on Matrix Analysis and Applications. 13(1):1-9.