Publication Monads, Effects and Transformations Nick Benton, Andrew Kennedy Electronic Notes in Theoretical Computer Science, Third International Workshop on Higher Order Operational Techniques in Semantics (HOOTS) | January 2000
Publication Exact Alpha-Beta Computation in Logarithmic Space with Application to MAP Word Graph Construction Geoffrey Zweig Proceedings of ICSLP | January 2000 Proceedings of ICSLP
Publication Head Tracking Using a Textured Polygonal Model Antonio Haro, Arno Schodl, Irfan A. Essa January 2000
Publication On the Undecidability of Second-Order Unification Jordi Levy, Margus Veanes Information and Computation | January 2000, Vol 159: pp. 125-150
Publication Automatically Extracting Highlights for TV Baseball Programs Alex Acero, Anoop Gupta, Yong Rui ACM Multimedia | January 2000, pp. 105-115
Publication On the Scale and Performance of Cooperative Web Proxy Caching Alec Wolman, Geoffrey M. Voelker, Nitin Sharma, Neal Cardwell, Anna Karlin, Henry M. Levy SOSP ’99 Proceedings of the seventeenth ACM symposium on Operating systems principles | December 1999
Publication Evaluation of Error Probabilities for General Signal Constellations Jack W. Stokes IEEE Global Telecommunications Conference (GLOBECOM) | December 1999
Research