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 GTM: a principled alternative to the Self-Organizing Map Christopher Bishop, Markus Svensén, Christopher K. I. Williams International Conference on Artificial Neural Networks, ICANN’96 | January 1997
Publication Image Coding Using Optimized Significance Tree Quantization Geoffrey M. Davis, Sumit Chawla January 1997
Publication The undecidability of simultaneous rigid E-unification with two variables Margus Veanes 5th Kurt Gödel Colloquium (KGC’97) | January 1997
Publication GTM through time Christopher Bishop, Geoffrey E. Hinton, Iain G. D. Strachan Proceedings IEE Fifth International Conference on Artificial Neural Networks, Cambridge, U.K. | January 1997
Publication C-: A Portable Assembly Language Dino Oliva, T. Nordin, Simon Peyton Jones Proceedings of the 1997 Workshop on Implementing Functional Languages | January 1997
Publication A Constructive RBF Network for Writer Adaptation John Platt, Nada P. Matic Neural Information Processing Systems Foundation | January 1997
Publication Equivalence Is In The Eye Of The Beholder Yuri Gurevich, James K. Huggins Theoretical Computer Science | January 1997
Publication Embedded Wavelet Packet Image Coder with Fast Rate-Distortion Optimized Decomposition Jin Li, C.-C. Jay Kuo January 1997
