论文与出版物 Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions Sumit Gulwani, Ashish Tiwari MSR-TR-2006-01 | January 2006 European Symposium on Programming 2006 项目
论文与出版物 Label Propagation and Quadratic Criterion Yoshua Bengio, Olivier Delalleau, Nicolas Le Roux Semi-Supervised Learning | 作者:MIT Press | 2006 | Semi-Supervised Learning edition
论文与出版物 Large-Scale Algorithms Olivier Delalleau, Yoshua Bengio, Nicolas Le Roux Semi-Supervised Learning | 作者:MIT Press | 2006 | Semi-Supervised Learning edition
论文与出版物 New Results on Rationality and Strongly Polynomial Solvability in Eisenberg-Gale Markets Deeparnab Chakrabarty, Nikhil Devanur, Vijay V. Vazirani In Proc. WINE 2006 | January 2006
论文与出版物 An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals Shuvendu Lahiri, Madanlal Musuvathi, Madan Musuvathi Electr. Notes Theor. Comput. Sci. | January 2006, 第 144 卷: pp. 27-41
论文与出版物 Augmented refrigerator magnets Rachel Eardley, Laurel Swan, Abigail Sellen, Alex Taylor, Steve Hodges, Ken Wood, Lyndsay Williams NordiCHI 2006 | January 2006
论文与出版物 Adaptive Blocking: Learning to Scale Up Record Linkage M. Bilenko, B. Kamath, R.J. Mooney, Misha Bilenko Proceedings of the 6th IEEE International Conference on Data Mining (ICDM-2006) | January 2006
论文与出版物 A hybrid Markov/semi-Markov conditional random field for sequence segmentation G. Andrew Proceedings of Empirical Methods in Natural Language Processing(EMNLP) | January 2006