Publication Multiple Description Coding of Overcomplete Expansions using Projections onto Convex Sets Philip A. Chou, Sanjeev Mehrotra, Albert Wang Data Compression Conference | March 1999
Publication TLA+ Verification of Cache-Coherence Protocols Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Mark Tuttle, Yuan Yu, Joshua Scheid February 1999
Publication An Equilibrium Lattice Model of Wetting on Rough Substrates Christian Borgs, J. De Coninck, R. Kotecky MSR-TR-98-18 | February 1999
Publication Sampling Spin Configurations of an Ising System Dana Randall, David Wilson SODA ’99 Proceedings of the tenth annual ACM-SIAM symposium on Discrete algorithms | January 1999 ISBN: 0-89871-434-6
Publication Monadic Simultaneous Rigid E-Unification and Related Problems Yuri Gurevich, Andrei Voronkov Theoretical Computer Science | January 1999
Publication Object-Process Based Graphics Recognition Class Library: Principles and Applications Liu WenYin, Dov Dori January 1999 Keywords: Software Reuse, Foundation Class Library, Object-oriented Design, Object-Process Methodology, Object-Process Diagrams, Graphics Recognition
Publication PLIERS at VLC2 A. MacFarlane, Stephen Robertson, J. A. McCann The Seventh Text REtrieval Conference (TREC-7) | January 1999
Publication LEDA: A Platform for Combinatorial and Geometric Computing Kurt Mehlhorn, Stefan Näher Published by Cambridge University Press | January 1999
Publication Mixtures of Probabilistic Principal Component Analyzers M. E. Tipping, Christopher Bishop Neural Computation | January 1999, Vol 11: pp. 443-482