Search
Add filters:
Use filters to refine the search results.
Item hits:
Publication Date | Article Title | Author(s) |
---|---|---|
Dec-2011 | Encore: low-cost, fine-grained transient fault recovery | Feng, Shuguang; Gupta, Shantanu; Ansari, Amin; Mahlke, Scott A; August, David I |
2019 | Learning to Prove Theorems via Interacting with Proof Assistants | Yang, Kaiyu; Deng, Jia |
2014 | Disjoint Set Union with Randomized Linking | Goel, Ashish; Khanna, Sanjeev; Larkin, Daniel H; Tarjan, Robert E |
Jul-2016 | Linear Arithmetic Satisfiability Via Strategy Improvement | Farzan, Azadeh; Kincaid, Zachary |
2019 | Representing Movie Characters in Dialogues | Azab, Mahmoud; Kojima, Noriyuki; Deng, Jia; Mihalcea, Rada |
2012 | The Discrete Infinite Logistic Normal Distribution | Paisley, John; Wang, Chong; Blei, David M |
May-2015 | Cookies That Give You Away: The Surveillance Implications of Web Tracking | Englehardt, Steven; Reisman, Dillon; Eubank, Christian; Zimmerman, Peter; Mayer, Jonathan R, et al |
2015 | Deep Exponential Families | Ranganath, Rajesh; Tang, Linpeng; Charlin, Laurent; Blei, David M |
Apr-2017 | De-anonymizing Web Browsing Data with Social Networks | Su, Jessica; Shukla, Ansh; Goel, Sharad; Narayanan, Arvind |
2017 | Hierarchical Implicit Models and Likelihood-Free Variational Inference | Tran, Dustin; Ranganath, Rajesh; Blei, David M |