Publication Memory Management in the Tera MTA Computer System Richard Korry, Cathy McCann, Burton Smith June 1990
Publication Fast surface interpolation using hierarchical basis functions Rick Szeliski IEEE Transactions on Pattern Analysis and Machine Intelligence | May 1990, Vol 12(6): pp. 513-528
Publication Environmental Robustness in Automatic Speech Recognition Alex Acero Proc. of International Conference on Acoustics, Speech, and Signal Processing | April 1990
Publication A Rigorous Theory of Finite Size Scaling at First Order Phase Transitions Jennifer Chayes, Roman Kotecky J. Stat. Phys. | March 1990, Vol 61: pp. 79-110
Publication Kalman Filter-based Algorithms for Estimating Depth from Image Sequences Larry Matthies, Rick Szeliski, Takeo Kanade International Journal of Computer Vision | August 1989, Vol 3(3): pp. 209-238
Publication Realizable and Unrealizable Specifications of Reactive Systems Martin Abadi, Leslie Lamport, Pierre Wolper Automata, Languages and Programming, Springer-Verlag | July 1989, pp. 1-17
Publication Time Polynomial In Input or Output Yuri Gurevich, Saharon Shelah J. Symbolic Logic | April 1989, Vol 54(3): pp. 1083-1088
Publication The LOT: Transform Coding Without Blocking Effects Henrique S. Malvar, David H. Staelin, Henrique S. Malvar IEEE Transactions on Acoustics, Speech, and Signal Processing | April 1989 Best Paper Award in Image Processing, IEEE Signal Processing Society, 1992.
Research
Research