Publications index

R. Alur, T. Henzinger, F. Mang, Shaz Qadeer, Sriram Rajamani, S. Tasiran

Proceedings of the 10th International Conference on Computer-aided Verication (CAV) | January 1998

Simon Peyton Jones, Norman Ramsey

MSR-TR-1998-1 | January 1998

A. J. Byrne, Abigail Sellen, J. G. Jones

British Journal of Anaesthesia | January 1998, Vol 80: pp. 58-62

Adam Tauman Kalai, Mel Siegel

Stereoscopic Displays and Applications IX: Proceedings of SPIE 3295, 1998 | January 1998

Li Deng

IEEE Trans. on Speech and Audio Processing | January 1998, Vol 6: pp. 445-455

Kuansan Wang

Proc. of the Int. Conf. on Spoken Language Processing | January 1998

Proc. of the Int. Conf. on Spoken Language Processing

Michael Ortega, Yong Rui, Kaushik Chakrabarti, Kriengkrai Porkaew, Sharad Mehrotra, Thomas S. Huang

IEEE Trans. Knowl. Data Eng. (TKDE) | January 1998

Larry Heck, Yochai Konig

RLA2C | January 1998

Project Project

Susan Dumais, John Platt, David Heckerman, Mehran Sahami

7th International Conference on Information and Knowledge Management | January 1998

Project

Peter Key

January 1998