Publications
Export 1435 results:
Author Title Type [ Year] Filters: First Letter Of Last Name is K [Clear All Filters]
1973. Pattern Recognition.
1980. Correspondence from Correspondence. Optical Society of America, Topical Meeting on Machine Vision. :46-51.
1982. Structure and function of small ribonucleoproteins from eukaryotic cells. Princess Takamatsu symposiaInt. Symp. Princess Takamatsu Cancer Res. Fund. 12:101-107.
1983. A Relational Database to Support Graphical Design and Documentation. Databases for Business and Office Applications, Database Week. :135-149.
1983. The U1 small nuclear RNA-protein complex selectively binds a 5′ splice site in vitro. Cell. 33(2):509-518.
1984. GDDT--A graphical design and documentation tool for software development. Computers & Graphics. 8(3):309-323.
1985. The Engineering of an Environment on Small Machines. Proceedings of the IEEE 1st International Conference on Computer Workstations. :61-69.
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. Principles and techniques in the design of ADMS+((advanced data-base management system)). Computer. 19:19-23.
1987. Computer-supported cooperative work (panel): is this REALLY a new field of research? Proceedings of the SIGCHI/GI conference on Human factors in computing systems and graphics interface. :227-228.
1987. The decomposition of a square into rectangles of minimal perimeter. Discrete Applied Mathematics. 16(3):239-243.
1988. The decomposition of a rectangle into rectangles of minimal perimeter. SIAM Journal on Computing. 17:1215-1215.
1988. Parallel algorithms for planar graph isomorphism and related problems. Circuits and Systems, IEEE Transactions on. 35(3):304-311.
1988. Uniform accountability for multiple modes of reasoning. International Journal of Approximate Reasoning. 2(3):233-246.
1989. Assessing others' knowledge and ignorance. Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems.
1989. Efficient parallel algorithms for testing connectivity and finding disjoint s-t paths in graphs. Foundations of Computer Science, 1989., 30th Annual Symposium on. :288-293.