Publications index

Yuri Gurevich, Alexander Rabinovich

Journal of Symbolic Logic | January 2000, Vol 65(2): pp. 946-958

Yuri Gurevich

Proceedings of CSL 2000, Springer Lecture Notes in Computer Science | January 2000

Mike Craven, Steve Benford, Chris Greenhalgh, John Wyver, Claire-Janine Brazier , Amanda Oldroyd, Tim Regan

CVE '00 Proceedings of the third international conference on Collaborative virtual environments | January 2000

Kentaro Toyama, Eric Horvitz

Proceedings of ACCV '00, Fourth Asian Conference on Computer Vision, Tapei, Taiwan. | January 2000

Kemal Sonmez, Larry Heck, Mitchel Weintraub

Digital Signal Processing | January 2000

Remco Teunen, Ben Shahshahani, Larry Heck

Proceedings of the International Conference on Spoken Language Processing (ICSLP) | January 2000

Larry Heck

Proceedings of the International Conference on Spoken Language Processing (ICSLP) | January 2000

Proceedings of the International Conference on Spoken Language Processing (ICSLP)

J. Brutlag, Chris Meek

Proceedings of the Seventeenth International Conference on Machine Learning | January 2000

J. Huang, Brian Kingsbury, L. Mangu, Mohamed Padmanabhan, George Saon, Geoffrey Zweig

Proceedings of ICSLP | January 2000

Mukund Padmanabhan, George Saon, Geoffrey Zweig

Proceedings of ASR | January 2000

Proceedings of ASR