Skip to main content

Search

Reset

Add filters:

Use filters to refine the search results.


Item hits:
Publication DateArticle TitleAuthor(s)
Dec-2011Encore: low-cost, fine-grained transient fault recoveryFeng, Shuguang; Gupta, Shantanu; Ansari, Amin; Mahlke, Scott A; August, David I
2019Learning to Prove Theorems via Interacting with Proof AssistantsYang, Kaiyu; Deng, Jia
2014Disjoint Set Union with Randomized LinkingGoel, Ashish; Khanna, Sanjeev; Larkin, Daniel H; Tarjan, Robert E
Jul-2016Linear Arithmetic Satisfiability Via Strategy ImprovementFarzan, Azadeh; Kincaid, Zachary
2019Representing Movie Characters in DialoguesAzab, Mahmoud; Kojima, Noriyuki; Deng, Jia; Mihalcea, Rada
2012The Discrete Infinite Logistic Normal DistributionPaisley, John; Wang, Chong; Blei, David M
May-2015Cookies That Give You Away: The Surveillance Implications of Web TrackingEnglehardt, Steven; Reisman, Dillon; Eubank, Christian; Zimmerman, Peter; Mayer, Jonathan R, et al
2015Deep Exponential FamiliesRanganath, Rajesh; Tang, Linpeng; Charlin, Laurent; Blei, David M
Apr-2017De-anonymizing Web Browsing Data with Social NetworksSu, Jessica; Shukla, Ansh; Goel, Sharad; Narayanan, Arvind
2017Hierarchical Implicit Models and Likelihood-Free Variational InferenceTran, Dustin; Ranganath, Rajesh; Blei, David M