Publication Formal specification and verification of a dataflow processor array Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, Sriram K. Rajamani ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design | November 1999
Publication The Role of Kinesthetic Reference Frames in Two-Handed Input Performance Ravin Balakrishnan, Ken Hinckley UIST '99 Proceedings of the 12th annual ACM symposium on User interface software and technology | November 1999 ISBN: 1-58113-075-9
Publication Multi-Fidelity Algorithms for Interactive Mobile Applications Dushyanth Narayanan Proceedings of the 3rd International Workshop on Discrete Algorithms and Methods in Mobile Computing and Communications (DIALM '99) | November 1999
Publication Multilingual Information Access: The MuST System and its Integration with Systran (Demo) Chin-Yew Lin, Eduard Hovy DARPA IM/IC&V Meeting | November 1999
Publication Training a Selection Function for Extraction Chin-Yew Lin Proceedings of the Eighteenth Annual International ACM Conference on Information and Knowledge Management (CIKM), Kansas City, Kansas | November 1999
Publication Type Elaboration and Subtype Completion for Java Bytecode Todd B. Knoblock, Jakob Rehof MSR-TR-99-79 | November 1999
Publication Understanding Data Through Analysis of Structured Markup and Usage Steven J. Altschuler, Edward Jung, Lani F. Wu MSR-TR-99-101 | November 1999
Publication Efficient Image Manipulation via Run-time Compilation Oege de Moor, Conal Elliott, Sigbjorn Finne MSR-TR-99-82 | November 1999
Publication In Proceedings of the First Workshop on Natural Language Processing and Neural Networks Lei Zhang, Ming Zhou, Changning Huang, Haihua Pan November 1999