Publication SYNERGY : A New Algorithm for Property Checking Bhargav Gulavani, Thomas Henzinger, Yamini Kannan, Aditya Nori, Sriram Rajamani MSR-TR-2006-76 | April 2006
Publication Standardized Evaluation of Haptic Rendering Systems Emanuele Ruffaldi, Dan Morris, Timothy Edmunds, Federico Barbagli, Dinesh K. Pai HAPTICS ’06 Proceedings of the Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems | March 2006 ISBN: 1-4244-0226-3
Publication On Hybrid SAT Solving Using Tree Decompositions and BDDs Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi MSR-TR-2006-28 | March 2006
Publication A new protocol to counter online dictionary attacks Vipul Goyal, Virendra Kumar, Mayank Singh, Ajith Abraham, Sugata Sanyal Computers & Security | March 2006
Publication Statistical Query Translation Models for Cross- Language Information Retrieval Jianfeng Gao, Jian-Yun Nie, Ming Zhou ACM Trans on Asian Language Information Processing | February 2006, pp. 323-359
Publication Constrained 3D shape reconstruction using a combination of surface fitting and registration Yang Liu, Helmut Pottmann, Wenping Wang Computer Aided Design | January 2006
Publication Approximating the k-Multicut Problem Daniel Golovin, Viswanath Nagarajan, Mohit Singh In Proceedings of ACM-SIAM Symposium on Discrete Algorithms, SODA 2006 | January 2006
Publication Bounded Verification of Concurrent Data Types on Relaxed Memory Models: A Case Study Rajeev Alur, Sebastian Burckhardt, Milo Martin Computer-Aided Verification (CAV) | January 2006
Publication Impersonation-Based Mechanisms Moshe Babaioff, Ron Lavi, Elan Pavlov AAAI | January 2006 AAAI
Publication The Forgetron: A Kernel-Based Perceptron on a Fixed Budget Ofer Dekel, Shai Shalev-Shwartz, Yoram Singer Advances in Neural Information Processing Systems 18 | January 2006
Research
Research