bsilverthorn's profile

Recent Activity

• 20:17: posted {A Note on the Implementation of Hierarchical Dirichlet Processes}
• 20:10: posted {Interpolating Between Types and Tokens by Estimating Power-Law Generators}
• 18:41: posted {A Fast Elitist Non-Dominated Sorting Genetic Algorithm for Multi-Objective Optimization: NSGA-II}

• 00:11: posted {Learning to Select Branching Rules in the DPLL Procedure for Satisfiability}
• 00:09: posted Statistical Models for Empirical Search-Based Performance Tuning

• 22:21: posted {Application of a Simple Nonparametric Conditional Quantile Function Estimator in Unemployment Duration Analysis}
• 17:31: posted {Towards Distributed Algorithm Portfolios}
• 02:29: posted {Hierarchical Hardness Models for SAT}
• 01:36: posted {PYTHIA-II: A Knowledge/Database System for Managing Performance Data and Recommending Scientific Software}
• 01:32: posted How to get a free lunch (at no cost)
• 00:55: posted {PYTHIA: A Knowledge-Based System to Select Scientific Algorithms}
• 00:21: posted {Methodology for the algorithm selection problem}

• 22:20: posted {New Methods to Color the Vertices of a Graph}

• 02:07: posted {The state of SAT}

• 19:11: posted {Boosting Verification by Automatic Tuning of Decision Procedures}

• 22:38: posted {Topic Models Conditioned on Arbitrary Features with Dirichlet-multinomial Regression}
• 22:07: posted {Understanding Random SAT: Beyond the Clauses-to-Variables Ratio}

• 20:32: posted {SATzilla: Portfolio-based Algorithm Selection for SAT}

• 18:26: posted Bayesian Learning of Measurement and Structural Models

• 23:21: posted {ManySAT: a Parallel SAT Solver}
• 18:01: posted {Topics over Time: A Non-Markov Continuous-Time Model of Topical Trends}
• 17:37: posted {Polylingual Topic Models}
• 17:32: posted {Generating Hard Satisfiability Problems}
• 16:05: posted {Evaluation Methods for Topic Models}