Publications
Export 447 results:
[ Author
] Title Type Year Filters: First Letter Of Last Name is M [Clear All Filters]
2007. Multiple alternative sentence compressions for automatic text summarization. Proceedings of DUC.
2010. Measuring transitivity using untrained annotators. Proceedings of the NAACL HLT 2010 Workshop on Creating Speech and Language Data with Amazon's Mechanical Turk. :188-194.
2007. Using paraphrases for parameter tuning in statistical machine translation. Proceedings of the Second Workshop on Statistical Machine Translation. :120-127.
2008. Combining open-source with research to re-engineer a hands-on introductory NLP course. Proceedings of the Third Workshop on Issues in Teaching Computational Linguistics. :71-79.
1997. Intelligent software agents vs. user-controlled direct manipulation: a debate. CHI '97 extended abstracts on Human factors in computing systems: looking to the future. :105-106.
1995. A Family of User Interface Consistency Checking Tools: Design and Development of SHERLOCK. Proceedings of the Twentieth Annual Software Engineering Workshop. (NASA no. 19990027806)
1997. Visual and textual consistency checking tools for graphical user interfaces. IEEE Transactions on Software Engineering. 23(11):722-735.
1995. A Family of User Interface Consistency Checking Tools. Institute for Systems Research Technical Reports.
2002. Adaptive Multimedia System Architecture for Improving QoS inWireless Networks. Advances in Multimedia Information Processing—PCM 2002. :37-47.
2002. Inferring link weights using end-to-end measurements. Proceedings of the 2nd ACM SIGCOMM Workshop on Internet measurment. :231-236.
1991. On finding the minimum bandwidth of interval graphs. Information and Computation. 95(2):218-224.
1990. Structure and expression of the Drosophila melanogaster gene for the U1 small nuclear ribonucleoprotein particle 70K protein.. Molecular and Cellular BiologyMol. Cell. Biol.. 10(6):2492-2502.
2001. On the efficiency of nearest neighbor searching with data clustered in lower dimensions. Computational Science—ICCS 2001. :842-851.
1999. It’s okay to be skinny, if your friends are fat. Center for Geometric Computing 4th Annual Workshop on Computational Geometry.
2002. Analysis of approximate nearest neighbor searching with clustered point sets. Data Structures, Near Neighbor Searches, and MethodologyData Structures, Near Neighbor Searches, and Methodology. 59:105-123.
2001. An empirical study of a new approach to nearest neighbor searching. Algorithm Engineering and Experimentation. :172-187.
2001. The analysis of a probabilistic approach to nearest neighbor searching. Algorithms and Data Structures. :276-286.
2007. Semantics-Preserving Design of Embedded Control Software from Synchronous Models. Software Engineering, IEEE Transactions on. 33(8):497-509.
2011. MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms. HotOS'13 Proceedings of the 13th USENIX Conference on Hot Topics in Operating Systems . :30-30.