Papers

4,025 papers found
2011 AISTATS
An Instantiation-Based Theorem Prover for First-Order Programming
Erik Zawadzki, Geoffrey Gordon, Andre Platzer
2011 AISTATS
A novel greedy algorithm for Nyström approximation
Ahmed Farahat, Ali Ghodsi, Mohamed Kamel
2011 AISTATS
Approximate inference for the loss-calibrated Bayesian
Simon Lacoste–Julien, Ferenc Huszár, Zoubin Ghahramani
2011 AISTATS
A Spike and Slab Restricted Boltzmann Machine
Aaron Courville, James Bergstra, Yoshua Bengio
2011 AISTATS
2011 AISTATS
Bayesian Hierarchical Cross-Clustering
Dazhuo Li, Patrick Shafto
2011 AISTATS
2011 AISTATS
CAKE: Convex Adaptive Kernel Density Estimation
Ravi Sastry Ganti Mahapatruni, Alexander Gray
2011 AISTATS
2011 AISTATS
2011 AISTATS
Contextual Bandit Algorithms with Supervised Learning Guarantees
Alina Beygelzimer, John Langford, Lihong Li et al.
2011 AISTATS
Contextual Bandits with Linear Payoff Functions
Wei Chu, Lihong Li, Lev Reyzin et al.
2011 AISTATS
Cross-Domain Object Matching with Model Selection
Makoto Yamada, Masashi Sugiyama
2011 AISTATS
Deep Learners Benefit More from Out-of-Distribution Examples
Yoshua Bengio, Frédéric Bastien, Arnaud Bergeron et al.
2011 AISTATS