Programming languages & software engineering

Shi-Ding Lin, Qiao Lian, Ming Chen, Zheng Zhang

MSR-TR-2004-13 | February 2004

James E. Johnson, David Langworthy, Leslie Lamport, Friedrich H. Vogt

First International Workshop on Web Services and Formal Methods (WS-FM 2004) | February 2004

Maria A. Nieto-Santisteban, William O'Mullane, Nolan Li, Tamas Budavari, Alexander S. Szalay, Aniruddha R. Thakar, Jim Gray

MSR-TR-2004-12 | February 2004

Thomas Ball, Byron Cook, Vladimir Levin, Sriram Rajamani

MSR-TR-2004-08 | January 2004

Project

Shaz Qadeer, Sriram Rajamani, Jakob Rehof

Proceedings of the 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2004

Yoshua Bengio, Olivier Delalleau, Nicolas Le Roux, Jean-François Paiement, Pascal Vincent, Marie Ouimet

Neural Computation | January 2004, Vol 16: pp. 2197-2219

Theresa Wilson, Janyce Wiebe, Rebecca Hwa

Proceedings of AAAI-04, 21st Conference of the American Association for Artificial Intelligence | January 2004

Proceedings of AAAI-04, 21st Conference of the American Association for Artificial Intelligence

Nathanael Chambers, Joel Tetreault, James Allen

Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications | January 2004

Faye Baron, Graeme Hirst

Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications | January 2004

Proceedings of the AAAI Spring Symposium on Exploring Attitude and Affect in Text: Theories and Applications

Youssef Hamadi

In 14th Int. Conf. on Automated Planning&Scheduling, W. Connecting Planning Theory with Practice | January 2004