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 Fitting B-Spline Curves to Point Clouds by Curvature-Based Squared Distance Minimization Wenping Wang, Helmut Pottmann, Yang Liu ACM Transactions on Graphics | 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 A new protocol to counter online dictionary attacks Vipul Goyal, Virendra Kumar, Mayank Singh, Ajith Abraham, Sugata Sanyal Computers & Security | March 2006
Publication On Hybrid SAT Solving Using Tree Decompositions and BDDs Sathiamoorthy Subbarayan, Lucas Bordeaux, Youssef Hamadi MSR-TR-2006-28 | 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 Area-Performance Trade-offs in Tiled Dataflow Architectures Steven Swanson, Andrew Putnam, Martha Mercaldi, Ken Michelson, Andrew Petersen, Andrew Schwerin, Mark Oskin, Susan J. Eggers Proceedings of the 33rd Annual International Symposium on Computer Architecture | January 2006 Proceedings of the 33rd Annual International Symposium on Computer Architecture ISBN: 0-7695-2608-X
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
