Algorithms

Yuan Yu, Panagiotis Manolios, Leslie Lamport

In Correct Hardware Design and Verification Methods (CHARME ’99), Laurence Pierre and Thomas Kropf editors. Lecture Notes in Computer Science, Springer-Verlag. | June 1999

Rick Szeliski

1999 Computer Vision and Pattern Recognition | June 1999

Avrim Blum, Adam Tauman Kalai

Proceedings of the 10th Annual Conference on Computational Learning Theory | June 1999

Miguel Castro, Barbara Liskov

MIT/LCS/TM-590 | June 1999

Xin Tong, Wenqiang Wang, Waiwan Tsang, Zesheng Tang

Data Visualization ’99, Proceedings of the Joint EUROGRAPHICS and IEEE TCVG Symposium on Visualization in Vienna, Austria, May 26-28, 1999 | May 1999

ISBN: 978-3-211-83344-5

Brendan Frey, Nebojsa Jojic

IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 1999. | May 1999

Leslie Lamport, Lawrence C. Paulson

ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 147. | May 1999, Vol 31(3): pp. 502-526

Henrique S. Malvar

MSR-TR-99-27 | May 1999

Simon Peyton Jones, Tony Hoare, Alastair Reid, Simon Marlow, Fergus Henderson

Proceedings of the ACM SIGPLAN ’99 Conference on Programming Language Design and Implementation | May 1999

Leslie Lamport

Calculational System Design | April 1999, pp. 183-247