Algorithms

Shaz Qadeer, Jakob Rehof

MSR-TR-2004-70 | April 2005

Proceedings of the Seventh ACM SIGOPS European Workshop (SIGOPS 96)

Chunyi Peng

Journal of Tsinghua University (Science and Technology) | April 2005, Vol 25: pp. 517-520

Rustan Leino, Madan Musuvathi, Xinmin Ou

in TACAS 2005: Eleventh Conference on Tools and Algorithms for the Construction and Analysis of Software | April 2005

Lijuan Wang, Yong Zhao, Min Chu, Frank Soong, Zhigang Cao

April 2005

Yoshua Bengio, Olivier Delalleau, Nicolas Le Roux

TR-1258 | March 2005

Leslie Lamport

MSR-TR-2005-33 | March 2005

Yunnan Wu, Philip A. Chou, Sun-Yuan Kung

Conference on Information Sciences and Systems | March 2005

Conference on Information Sciences and Systems

X. Tang, X. Lin, Y. Deng, Q. Yang

ICCV | March 2005

ICCV

Ivan Tashev, Daniel Allred

Joint Workshop on Hands-Free Speech Communication and Microphone Arrays (HSCMA) | March 2005

Project

Priti Shankar, Madhu A. S, Aditya Nori

March 2005