Publications
Export 748 results:
Author Title Type [ Year] Filters: First Letter Of Title is S [Clear All Filters]
1985. The Structure of Information in Online and Paper Technical Manuals. Proceedings of the Human Factors and Ergonomics Society Annual MeetingProceedings of the Human Factors and Ergonomics Society Annual Meeting. 29(12):1110-1113.
1986. Self-reference, knowledge, belief, and modality. Proc 5th National Conference on AI. :416-420.
1986. Seven plus or minus two central issues in human-computer interaction. ACM SIGCHI Bulletin - Special issue: CHI '86 Conference Proceedings. 17(4):343-349.
1986. Shape and 3-d motion from contour without point to point correspondences: General principles. CVPR86. :518-527.
1986. A Special-Function Unit for Sorting and Sort-Based Database Operations. IEEE Transactions on Computers. C-35(12):1071-1077.
1986. A Stability Analysis of Incomplete LU Factorizations. Mathematics of Computation. 47(175):191-217.
1986. Step-logics: An alternative approach to limited reasoning. Proceedings of the European Conf. on Artificial Intelligence. :160-163.
1987. Shared memory algorithms and the medial axis transform. IEEE Workshop on Computer Architecture for PAMI. :44-50.
1987. Spatiotemporal blur paths for image flow estimation (A). Journal of the Optical Society of America A. 4:35-35.
1987. Storing the subdivision of a polyhedral surface. Discrete & Computational Geometry. 2(1):153-174.
1987. Subjective user evaluation of CF PASCAL programming tools. Department of Computer Science and Human-Computer Interaction Laboratory Working Paper.
1987. Systolic Arrays for Matrix Transpose and Other Reorderings. Computers, IEEE Transactions on. C-36(1):117-122.
1988. Selection devices for user of an electronic encyclopedia: An empirical comparison of four possibilities. Information Processing & Management. 24(6):665-680.
1988. Self-processing networks and their biomedical implications. Proceedings of the IEEE. 76(6):680-692.
1988. Some algorithms for approximating convolutions. Computer Vision, Graphics, and Image Processing. 41(3):333-345.
1989. A semantics based verification tool for finite state systems. Proceedings of the IFIP WG6. 1:287-302.
1989. Software metric classification trees help guide the maintenance of large-scale systems. , Conference on Software Maintenance, 1989., Proceedings. :116-123.
1989. Some aspects of parallel implementation of the finite-element method on message passing architectures. Journal of Computational and Applied Mathematics. 27(1-2):157-187.
1989. Some Brief Essays on Mind.