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 From Raster to Vectors: Extracting Visual Information from Line Drawings Dov Dori, Liu WenYin January 1999
Publication Object-Process Diagrams as an Explicit Algorithm Specification Tool Liu WenYin, Dov Dori January 1999