论文与出版物 Synthesis of Loop-Free Programs Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan PLDI’11, June 4-8, 2011, San Jose, California, USA | June 2011 项目
论文与出版物 Synthesizing Geometry Constructions Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari PLDI’11, June 4-8, 2011, San Jose, California, USA | June 2011 项目
论文与出版物 Path-based Inductive Synthesis for Program Inversion Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster PLDI’11, June 4-8, 2011, San Jose, California, USA | June 2011 项目
论文与出版物 Learning Time-Based Presence Probabilities John Krumm, A.J. Brush Pervasive 2011 | June 2011 项目
论文与出版物 On the Sum of Square Roots of Polynomials and related problems Neeraj Kayal, Chandan Saha Conference on Computational Complexity (CCC) | June 2011 Invited to ToCT journal
论文与出版物 Stochastic Variability in Sponsored Search Auctions: Observations and Models Furcy Pin, Peter Key EC11: 12th ACM Conference on Electronic Commerce | June 2011
论文与出版物 Detail-free, Posted-Price Mechanisms for Limited Supply Online Auctions Moshe Babaioff, Shaddin Dughmi, Aleksandrs Slivkins Workshop on Bayesian Mechanism Design | June 2011
论文与出版物 On Approximating the Entropy of Polynomial Mappings Zeev Dvir, Dan Gutfreund, Guy Rothblum, Salil Vadhan Proceedings of The Second Symposium on Innovations in Computer Science (ICS 2011), ICS | June 2011 ICS
论文与出版物 Online Algorithms with Stochastic Input Nikhil Devanur June 2011, 第 10 卷: pp. 40-49 作者:ACM, June 2011|In ACM SIGEcom Exchanges 版本 In ACM SIGEcom Exchanges
论文与出版物 Optimal Multi-Period Pricing with Service Guarantees Christian Borgs, Jennifer Chayes, Ozan Candogan, Ilan Lobel, Hamid Nazer Zadeh MSR-TR-2011-77 | June 2011