Publication Some undecidable problems related to the Herbrand theorem Yuri Gurevich, Margus Veanes UPMAIL-TR-138 | March 1997
Publication Embedded Bayesian Network Classifiers David Heckerman, Chris Meek MSR-TR-97-06 | March 1997
Publication Black-Box Polynomial Resultants Mark Encarnación Information Processing Letters, Issue 4 | February 1997, Vol 61: pp. 201-204
Publication Green Card: a foreign-language interface for Haskell T Nordin, SL Peyton Jones, Alastair Reid, Simon Peyton Jones Haskell workshop | February 1997
Publication The Railroad Crossing Problem: An Experiment with Instantaneous Actions and Immediate Reactions Yuri Gurevich, James K. Huggins Computer Science Logics, Selected papers from CSL'95, Springer Lecture Notes in Computer Science | February 1997
Publication Detection of Specularity Using Stereo in Color and Polarization Space Stephen Lin, Sang W. Lee Computer Vision and Image Understanding (CVIU) | February 1997, Vol 65(2): pp. 336-346
Publication Formally-Based Profiling for Higher-Order Functional Languages Patrick M. Sansom, Simon Peyton Jones ACM Transactions on Programming Languages and Systems (TOPLAS) | February 1997, Vol 19(2)
Publication Coign: Efficient Instrumentation for Inter-Component Communication Analysis Galen Hunt, Michael L. Scott MSR-TR-1997-1 | February 1997
Publication Master’s Thesis: A Three-Dimensional Model of Human Lip Motion Sumit Basu February 1997 Master's Thesis: M.I.T Media Laboratory Perceptual Computing Section Technical Report No. 417. Also appears as MIT EECS Master's Thesis February 1997. | February 1997
Publication New Image Compression Artifact Measure Using Wavelets Yung-Kai Lai, C.-C. Jay Kuo, Jin Li SPIE: Visual Communication and Image Processing, San Jose, CA | February 1997