Hoos, Holger H.

50 publications

AAAI 2025 Dynamic Algorithm Termination for Branch-and-Bound-Based Neural Network Verification Konstantin Kaulen, Matthias König, Holger H. Hoos

AAAI 2025 KernelMatmul: Scaling Gaussian Processes to Large Time Series Tilman Hoffbauer, Holger H. Hoos, Jakob Bossek

JAIR 2025 Robustness Distributions in Neural Network Verification Annelot W. Bosman, Aaron Berger, Holger H. Hoos, Jan N. van Rijn

MLJ 2025 Time Series Representations Classroom (TSRC): A Teacher-Student-Based Framework for Interpretability-Enhanced Unsupervised Time Series Representation Learning Wadie Skaf, Mitra Baratchi, Holger H. Hoos

AAAI 2024 Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing Matthias König, Holger H. Hoos, Jan N. van Rijn

PGM 2024 AutoCD: Automated Machine Learning for Causal Discovery Algorithms Gerlise Chan, Tom Claassen, Holger H. Hoos, Tom Heskes, Mitra Baratchi

ECML-PKDD 2024 Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks Matthias König, Xiyue Zhang, Holger H. Hoos, Marta Kwiatkowska, Jan N. van Rijn

JMLR 2024 Critically Assessing the State of the Art in Neural Network Verification Matthias König, Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

JAIR 2024 Improving Reproducibility in AI Research: Four Mechanisms Adopted by JAIR Odd Erik Gundersen, Malte Helmert, Holger H. Hoos

MLJ 2022 Speeding up Neural Network Robustness Verification via Algorithm Configuration and an Optimised Mixed Integer Linear Programming Solver Portfolio Matthias König, Holger H. Hoos, Jan N. van Rijn

ECML-PKDD 2021 Hyper-Parameter Optimization for Latent Spaces Bruno Veloso, Luciano Caroprese, Matthias König, Sónia Teixeira, Giuseppe Manco, Holger H. Hoos, João Gama

MLJ 2020 A Survey on Semi-Supervised Learning Jesper E. van Engelen, Holger H. Hoos

IJCAI 2019 Local Search with Efficient Automatic Configuration for Minimum Vertex Cover Chuan Luo, Holger H. Hoos, Shaowei Cai, Qingwei Lin, Hongyu Zhang, Dongmei Zhang

MLJ 2018 Efficient Benchmarking of Algorithm Configurators via Model-Based Surrogates Katharina Eggensperger, Marius Lindauer, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown

ECCV 2018 LSQ++: Lower Running Time and Higher Recall in Multi-Codebook Quantization Julieta Martinez, Shobhit Zakhmi, Holger H. Hoos, James J. Little

IJCAI 2018 Quantifying Algorithmic Improvements over Time Lars Kotthoff, Alexandre Fréchette, Tomasz P. Michalak, Talal Rahwan, Holger H. Hoos, Kevin Leyton-Brown

MLOSS 2017 Auto-WEKA 2.0: Automatic Model Selection and Hyperparameter Optimization in WEKA Lars Kotthoff, Chris Thornton, Holger H. Hoos, Frank Hutter, Kevin Leyton-Brown

IJCAI 2017 AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract) Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub

AAAI 2017 Efficient Parameter Importance Analysis via Ablation with Surrogates Andre Biedenkapp, Marius Lindauer, Katharina Eggensperger, Frank Hutter, Chris Fawcett, Holger H. Hoos

IJCAI 2017 Scalable Constraint-Based Virtual Data Center Allocation Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu

IJCAI 2016 Bias in Algorithm Portfolio Performance Evaluation Chris Cameron, Holger H. Hoos, Kevin Leyton-Brown

ECCV 2016 Revisiting Additive Quantization Julieta Martinez, Joris Clement, Holger H. Hoos, James J. Little

ECCV 2016 Solving Multi-Codebook Quantization in the GPU Julieta Martinez, Holger H. Hoos, James J. Little

ECCVW 2016 Solving Multi-Codebook Quantization in the GPU Julieta Martinez, Holger H. Hoos, James J. Little

AAAI 2016 Using the Shapley Value to Analyze Algorithm Portfolios Alexandre Fréchette, Lars Kotthoff, Tomasz P. Michalak, Talal Rahwan, Holger H. Hoos, Kevin Leyton-Brown

IJCAI 2015 Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract) Frank Hutter, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown

JAIR 2015 AutoFolio: An Automatically Configured Algorithm Selector Marius Lindauer, Holger H. Hoos, Frank Hutter, Torsten Schaub

WACV 2015 Bank of Quantization Models: A Data-Specific Approach to Learning Binary Codes for Large-Scale Retrieval Applications Frederick Tung, Julieta Martinez, Holger H. Hoos, James J. Little

AAAI 2015 Efficient Benchmarking of Hyperparameter Optimizers via Surrogates Katharina Eggensperger, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown

IJCAI 2015 On the Empirical Time Complexity of Random 3-SAT at the Phase Transition Zongxu Mu, Holger H. Hoos

AAAI 2015 SAT Modulo Monotonic Theories Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu

AAAI 2012 Predicting Satisfiability at the Phase Transition Lin Xu, Holger H. Hoos, Kevin Leyton-Brown

AAAI 2010 Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection Lin Xu, Holger H. Hoos, Kevin Leyton-Brown

JAIR 2009 ParamILS: An Automatic Algorithm Configuration Framework Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown, Thomas Stützle

IJCAI 2009 SATenstein: Automatically Building Local Search SAT Solvers from Components Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown

JAIR 2008 SATzilla: Portfolio-Based Algorithm Selection for SAT Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown

AAAI 2007 Automatic Algorithm Configuration Based on Local Search Frank Hutter, Holger H. Hoos, Thomas Stützle

JAIR 2006 Dynamic Local Search for the Maximum Clique Problem Wayne J. Pullan, Holger H. Hoos

IJCAI 2005 Efficient Stochastic Local Search for MPE Solving Frank Hutter, Holger H. Hoos, Thomas Stützle

JAIR 2004 CP-Nets: A Tool for Representing and Reasoning with Conditional Ceteris Paribus Preference Statements Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole

AAAI 2002 A Mixture-Model for the Behaviour of SLS Algorithms for SAT Holger H. Hoos

AAAI 2002 An Adaptive Noise Mechanism for WalkSAT Holger H. Hoos

IJCAI 2001 Bidding Languages for Combinatorial Auctions Craig Boutilier, Holger H. Hoos

AAAI 2000 Solving Combinatorial Auctions Using Stochastic Local Search Holger H. Hoos, Craig Boutilier

AAAI 1999 Morphing: Combining Structure and Randomness Ian P. Gent, Holger H. Hoos, Patrick Prosser, Toby Walsh

AAAI 1999 On the Run-Time Behaviour of Stochastic Local Search Algorithms for SAT Holger H. Hoos

UAI 1999 Reasoning with Conditional Ceteris Paribus Preference Statements Craig Boutilier, Ronen I. Brafman, Holger H. Hoos, David Poole

IJCAI 1999 SAT-Encodings, Search Space Structure, and Local Search Performance Holger H. Hoos

IJCAI 1999 To Encode or Not to Encode - Linear Planning Ronen I. Brafman, Holger H. Hoos

UAI 1998 Evaluating Las Vegas Algorithms: Pitfalls and Remedies Holger H. Hoos, Thomas Stützle