Publication Mining Specifications Glenn Ammons, Rastislav Bodik, Jim Larus Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | January 2002 Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Publication Interleaved Backtracking in Distributed Constraint Networks Youssef Hamadi Int. J. on Artif. Intelligence Tools (IJAIT), 13th International Conference on Tools with Artificial Intelligence | January 2002
Publication Stable Adaptive Momentum for Rapid Online Learning in Nonlinear Systems Thore Graepel, Nicol N. Schraudolph Proceedings of the International Conference on Neural Networks, ICANN 2002 | January 2002
Publication Partially labeled classification with Markov random walks Martin Szummer, Tommi Jaakkola Advances in Neural Information Processing Systems (NIPS) | January 2002
Publication Sharp estimates for Brownian non-intersection probabilities Greg Lawler, Oded Schramm, Wendelin Werner In and out of equilibrium (Mambucaba, 2000) | Published by Birkhäuser Boston | 2002, Vol 51
Publication Definability in Rationals with Real Order in the Background Yuri Gurevich, Alexander Rabinovich Journal of Logic and Computation | January 2002, Vol 12: pp. 1-11
Publication First class modules for Haskell Mark Shields, Simon Peyton Jones 9th International Conference on Foundations of Object-Oriented Languages (FOOL 9), Portland, Oregon | January 2002
Publication Relative Completeness of Abstraction Refinement for Software Model Checking Thomas Ball, Andreas Podelski, Sriram Rajamani MSR-TR-2001-106 | December 2001
Publication Richer Syntactic Dependencies for Structured Language Modeling Ciprian Chelba, Peng Xu Proc. of the IEEE Workshop on Automatic Speech Recognition and Understanding | December 2001
Publication A Common Annotation Framework David Bargeron, A.J. Brush, Anoop Gupta MSR-TR-2001-108 | November 2001