Holger H. Hoos
German-Canadian computer scientist
Holger H. Hoos's AcademicInfluence.com Rankings
Download Badge
Computer Science
Holger H. Hoos's Degrees
- PhD Computer Science University of British Columbia
- Masters Computer Science University of British Columbia
Similar Degrees You Can Earn
Why Is Holger H. Hoos Influential?
(Suggest an Edit or Addition)According to Wikipedia, Holger H. Hoos is a German-Canadian computer scientist and a Alexander von Humboldt-professor of artificial intelligence at RWTH Aachen University. He also holds a part-time appointment as a professor of machine learning at Leiden University, and he is an adjunct professor at the Computer Science Department of the University of British Columbia, where he held a full-time professorial appointment from 2000 until 2016. His research interests are focused on artificial intelligence, at the intersection of machine learning, automated reasoning and optimization, with applications in empirical algorithmics, bioinformatics and operations research. In particular, he works on automated algorithm design and on stochastic local search algorithms. Since 2015, he is a Fellow of the Association for the Advancement of Artificial Intelligence , and since 2020 a Fellow of the European Association for Artificial Intelligence as well as a Fellow of the Association for Computing Machinery .
Holger H. Hoos's Published Works
Published Works
- MAX-MIN Ant System (2000) (2838)
- Sequential Model-Based Optimization for General Algorithm Configuration (2011) (2304)
- Stochastic Local Search: Foundations & Applications (2004) (1596)
- Auto-WEKA: combined selection and hyperparameter optimization of classification algorithms (2012) (1282)
- ParamILS: An Automatic Algorithm Configuration Framework (2009) (1003)
- MAX-MIN Ant System and local search for the traveling salesman problem (1997) (936)
- A survey on semi-supervised learning (2019) (920)
- SATzilla: Portfolio-based Algorithm Selection for SAT (2008) (918)
- CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements (2011) (845)
- Future Generation Computer Systems (2000) (659)
- Auto-WEKA 2.0: Automatic model selection and hyperparameter optimization in WEKA (2017) (591)
- Critical assessment of automated flow cytometry data analysis techniques (2013) (555)
- SATLIB: An Online Resource for Research on SAT (2000) (385)
- Algorithm runtime prediction: Methods & evaluation (2012) (373)
- An Efficient Approach for Assessing Hyperparameter Importance (2014) (339)
- Reasoning With Conditional Ceteris Paribus Preference Statements (1999) (330)
- Automatic Algorithm Configuration Based on Local Search (2007) (327)
- Improvements on the Ant-System: Introducing the MAX-MIN Ant System (1997) (325)
- An ant colony optimisation algorithm for the 2D and 3D hydrophobic polar protein folding problem (2005) (292)
- Solving Combinatorial Auctions Using Stochastic Local Search (2000) (287)
- Bidding Languages for Combinatorial Auctions (2001) (277)
- HotKnots: heuristic prediction of RNA secondary structures including pseudoknots. (2005) (262)
- RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database (2008) (260)
- CP-nets: a tool for represent-ing and reasoning with conditional ceteris paribus state-ments (2004) (250)
- Scaling and Probabilistic Smoothing: Efficient Dynamic Local Search for SAT (2002) (242)
- Automated Algorithm Selection: Survey and Perspectives (2018) (233)
- An adaptive noise mechanism for walkSAT (2002) (212)
- Understanding Random SAT: Beyond the Clauses-to-Variables Ratio (2004) (210)
- Programming by optimization (2012) (209)
- Editors' Notes (1979) (209)
- On the Run-time Behaviour of Stochastic Local Search Algorithms for SAT (1999) (209)
- Preference‐Based Constrained Optimization with CP‐Nets (2004) (206)
- Rapid cell population identification in flow cytometry data (2011) (206)
- SATenstein: Automatically Building Local Search SAT Solvers from Components (2009) (206)
- Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms (2006) (203)
- Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection (2010) (199)
- UBCSAT: An Implementation and Experimentation Environment for SLS Algorithms for SAT & MAX-SAT (2004) (198)
- Automated Configuration of Mixed Integer Programming Solvers (2010) (188)
- ASlib: A benchmark library for algorithm selection (2015) (185)
- Efficient parameter estimation for RNA secondary structure prediction (2007) (175)
- Local Search Algorithms for SAT: An Empirical Evaluation (2000) (175)
- Evaluating Las Vegas Algorithms: Pitfalls and Remedies (1998) (175)
- Dynamic Local Search for the Maximum Clique Problem (2011) (171)
- Improving the Ant System: A Detailed Report on the MAX-MIN Ant System (1996) (169)
- Automated Algorithm Configuration and Parameter Tuning (2012) (168)
- A new algorithm for RNA secondary structure design. (2004) (162)
- The MAX–MIN Ant System and Local Search for Combinatorial Optimization Problems: Towards Adaptive Tools for Global Optimization (1997) (157)
- Boosting Verification by Automatic Tuning of Decision Procedures (2007) (156)
- : The Design and Analysis of an Algorithm Portfolio for SAT (2007) (143)
- RNAsoft: a suite of RNA secondary structure prediction and design software tools (2003) (143)
- Iterated Robust Tabu Search for MAX-SAT (2003) (133)
- Stochastic local search - methods, models, applications (1998) (129)
- Stochastic Local Search (2007) (129)
- AutoFolio: An Automatically Configured Algorithm Selector (2015) (116)
- Computational approaches for RNA energy parameter estimation. (2010) (111)
- Efficient Benchmarking of Hyperparameter Optimizers via Surrogates (2015) (108)
- Evaluating Component Solver Contributions to Portfolio-Based Algorithm Selectors (2012) (104)
- An experimental investigation of model-based parameter optimisation: SPO and beyond (2009) (102)
- Towards a Characterisation of the Behaviour of Stochastic Local Search Algorithms for SAT (1999) (100)
- A replica exchange Monte Carlo algorithm for protein folding in the HP model (2007) (100)
- Morphing: Combining Structure and Randomness (1999) (100)
- Analysing differences between algorithm configurations through ablation (2016) (96)
- An Ant Colony Optimization Algorithm for the 2D HP Protein Folding Problem (2002) (96)
- On Effectively Finding Maximal Quasi-cliques in Graphs (2008) (92)
- Parallel Algorithm Configuration (2012) (90)
- Inference of transcriptional regulation relationships from gene expression data (2003) (90)
- Stochastic Local Search Algorithms for DNA Word Design (2002) (87)
- SAT-Encodings, Search Space Structure, and Local Search Performance (1999) (86)
- Hydra-MIP : Automated Algorithm Configuration and Selection for Mixed Integer Programming (2011) (86)
- Time-Bounded Sequential Parameter Optimization (2010) (84)
- Early immunologic correlates of HIV protection can be identified from computational analysis of complex multivariate T-cell flow cytometry assays (2012) (81)
- GUIDO/MIR - an Experimental Musical Information Retrieval System based on GUIDO Music Notation (2001) (79)
- claspfolio 2: Advances in Algorithm Selection for Answer Set Programming (2014) (78)
- A Research Agenda for Hybrid Intelligence: Augmenting Human Intellect With Collaborative, Adaptive, Responsible, and Explainable Artificial Intelligence (2020) (76)
- The Configurable SAT Solver Challenge (CSSC) (2015) (75)
- Theory and Applications of Satisfiability Testing (2008) (74)
- AClib: A Benchmark Library for Algorithm Configuration (2014) (71)
- The GUIDO Notation Format: A Novel Approach for Adequately Representing Score-Level Music (1998) (70)
- Auto-WEKA: Automated Selection and Hyper-Parameter Optimization of Classification Algorithms (2012) (68)
- An Improved Ant Colony Optimisation Algorithm for the 2D HP Protein Folding Problem (2003) (68)
- Identifying Key Algorithm Parameters and Instance Features Using Forward Selection (2013) (66)
- An evaluation of sequential model-based optimization for expensive blackbox functions (2013) (65)
- Thermodynamically based DNA strand design (2005) (64)
- Adoption and Effects of Software Engineering Best Practices in Machine Learning (2020) (61)
- Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract) (2015) (61)
- RchyOptimyx: Cellular hierarchy optimization for flow cytometry (2012) (59)
- Analyzing the Run-time Behaviour of Iterated Local Search for the TSP (1999) (59)
- SATzilla2009: an Automatic Algorithm Portfolio for SAT (2008) (57)
- Stochastic Local Search-Methods (1998) (56)
- Hierarchical Hardness Models for SAT (2007) (55)
- Improving the State of the Art in Inexact TSP Solving Using Per-Instance Algorithm Selection (2015) (54)
- Efficient Stochastic Local Search for MPE Solving (2005) (51)
- Improved Features for Runtime Prediction of Domain-Independent Planners (2014) (51)
- Computational RNA secondary structure design: empirical complexity and improved methods (2007) (50)
- Correlation between the secondary structure of pre-mRNA introns and the efficiency of splicing in Saccharomyces cerevisiae (2008) (50)
- MO-ParamILS: A Multi-objective Automatic Algorithm Configuration Framework (2016) (50)
- Revisiting Additive Quantization (2016) (50)
- On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem (2014) (49)
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT (2011) (48)
- Analysis of energy-based algorithms for RNA secondary structure prediction (2012) (48)
- Leveraging TSP Solver Complementarity through Machine Learning (2018) (46)
- Understanding the empirical hardness of NP-complete problems (2014) (46)
- Voice Separation - A Local Optimization Approach (2002) (46)
- A thermodynamic approach to designing structure-free combinatorial DNA word sets (2005) (46)
- FD-Autotune: Domain-Specific Configuration using Fast Downward (2011) (45)
- Tradeoffs in the empirical evaluation of competing algorithm designs (2010) (42)
- Efficient benchmarking of algorithm configurators via model-based surrogates (2017) (42)
- From RNA Secondary Structure to Coding Theory: A Combinatorial Approach (2002) (41)
- A Modular Multiphase Heuristic Solver for Post Enrolment Course Timetabling (2008) (40)
- aspeed: Solver scheduling via answer set programming 1 (2014) (39)
- Using Stochastic Local Search to Solve Quantified Boolean Formulae (2003) (38)
- Stacked Quantizers for Compositional Vector Compression (2014) (38)
- Hybrid Randomised Neighbourhoods Improve Stochastic Local Search for DNA Code Design (2003) (37)
- SAT Modulo Monotonic Theories (2014) (37)
- Enhanced flowType/RchyOptimyx: a Bioconductor pipeline for discovery in high-dimensional cytometry data (2014) (36)
- Bayesian Optimization With Censored Response Data (2013) (32)
- Efficient Parameter Importance Analysis via Ablation with Surrogates (2017) (32)
- Algorithm Configuration Landscapes: - More Benign Than Expected? (2018) (32)
- Analysing the Run-Time Behaviour of Iterated Local Search for the Travelling Salesman Problem (2002) (32)
- From Sequential Algorithm Selection to Parallel Portfolio Selection (2015) (31)
- Using the Shapley Value to Analyze Algorithm Portfolios (2016) (30)
- Filling Your Shelves: Synthesizing Diverse Style-Preserving Artifact Arrangements (2014) (29)
- Stochastic Local Search Methods for Dynamic SAT- an Initial Investigation (2000) (28)
- A mixture-model for the behaviour of SLS algorithms for SAT (2002) (28)
- Robust Benchmark Set Selection for Boolean Constraint Solvers (2013) (27)
- Automatic Generation of Efficient Domain-Optimized Planners from Generic Parametrized Planners (2013) (27)
- A review of the literature on local search algorithms for MAX-SAT (2001) (27)
- Automatic construction of parallel portfolios via algorithm configuration (2017) (27)
- Local Search Methods (2006) (27)
- Algorithm Runtime Prediction: The State of the Art (2012) (26)
- Warped Landscapes and Random Acts of SAT Solving (2004) (26)
- LSQ++: Lower Running Time and Higher Recall in Multi-codebook Quantization (2018) (26)
- Quantifying Homogeneity of Instance Sets for Algorithm Configuration (2012) (25)
- Dynamic Scoring Functions with Variable Expressions: New SLS Methods for Solving SAT (2010) (25)
- GSAT versus Simulated Annealing (1994) (25)
- Automatically Configuring Multi-objective Local Search Using Multi-objective Optimisation (2017) (24)
- Local Search with Efficient Automatic Configuration for Minimum Vertex Cover (2019) (24)
- Predicting Satisfiability at the Phase Transition (2012) (23)
- On the empirical evaluation of Las Vegas algorithms (1999) (23)
- On the Empirical Scaling Behaviour of State-of-the-art Local Search Algorithms for the Euclidean TSP (2015) (23)
- HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms (2011) (23)
- Ensemble-based prediction of RNA secondary structures (2013) (23)
- An Analysis of the Hardness of TSP Instances for Two High-performance Algorithms (2005) (22)
- Stochastic Local Search Algorithms: An Overview (2015) (21)
- Computer-Aided Design of High-Performance Algorithms (2008) (21)
- Automatically Configuring Algorithms for Scaling Performance (2012) (21)
- Systematic vs. Local Search for SAT (1999) (21)
- Characterizing the Run-time Behavior of Stochastic Local Search (1998) (20)
- Sequential Model-Based Parameter Optimization: an Experimental Investigation of Automated and Interactive Approaches (2010) (20)
- Efficient modular SAT solving for IC3 (2013) (19)
- Reasoning with conditional ceteris paribus statements (1999) (19)
- Ordered racing protocols for automatically configuring algorithms for scaling performance (2013) (19)
- Search Space Features Underlying the Performance of Stochastic Local Search Algorithms for MAX-SAT (2004) (19)
- A WEB-based Approach to Music Notation using GUIDO (1998) (19)
- Programming by Optimisation Meets Parameterised Algorithmics: A Case Study for Cluster Editing (2015) (18)
- Erratum: Critical assessment of automated flow cytometry data analysis techniques (2013) (18)
- An Experimental Study of Adaptive Capping in irace (2017) (18)
- Proceedings of the 2007 international conference on Engineering stochastic local search algorithms: designing, implementing and analyzing effective heuristics (2007) (18)
- Scalable Constraint-based Virtual Data Center Allocation (2017) (17)
- On the Empirical Time Complexity of Random 3-SAT at the Phase Transition (2015) (17)
- Portfolio Methods for Optimal Planning: An Empirical Analysis (2015) (17)
- Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT (2003) (17)
- Algorithm Runtime Prediction : (2015) (16)
- Portfolio-Based Algorithm Selection for Circuit QBFs (2018) (15)
- aspeed: ASP-based Solver Scheduling (2012) (15)
- AutoFolio: Algorithm Configuration for Algorithm Selection (2015) (15)
- A Parallel Workflow for Real-time Correlation and Clustering of High-Frequency Stock Market Data (2007) (15)
- MusicBLAST - Gapped Sequence Alignment for MIR (2004) (14)
- Patterns in citation context: the case of the field of scientometrics (2018) (14)
- Surrogate Benchmarks for Hyperparameter Optimization (2014) (13)
- Programming by Optimisation (2010) (13)
- Representing score-level music using the GUIDO Music-Notation format (2001) (12)
- Solving Hard Combinatorial Problems with GSAT - A Case Study (1996) (12)
- On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances (2015) (12)
- Automatic Configuration of Multi-Objective Local Search Algorithms for Permutation Problems (2019) (12)
- Voice Separation-A Local Optimisation Approach Voice Separation — A Local Optimisation Approach (2002) (12)
- Automated Machine Learning for Short-term Electric Load Forecasting (2019) (11)
- The Impact of Automated Algorithm Configuration on the Scaling Behaviour of State-of-the-Art Inexact TSP Solvers (2016) (11)
- Generating Fast Domain-Specific Planners by Automatically Configuring a Generic Parameterised Planner (2011) (11)
- Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings (2009) (11)
- Sequential Model-Based Parameter Optimisation: an Experimental Investigation of Automated and Inte (2010) (11)
- Predicting the 9-year course of mood and anxiety disorders with automated machine learning: A comparison between auto-sklearn, naïve Bayes classifier, and traditional logistic regression (2021) (10)
- Cognitive Principles for Information Management: The Principles of Mnemonic Associative Knowledge (P-MAK) (2007) (10)
- To Encode or Not to Encode - Linear Planning (1999) (10)
- Algorithm Configuration in the Cloud: A Feasibility Study (2014) (10)
- Corrigendum: Critical assessment of automated flow cytometry data analysis techniques (2013) (9)
- On the empirical scaling of running time for finding optimal solutions to the TSP (2018) (9)
- VNF chain allocation and management at data center scale (2018) (9)
- Empirical Scaling Analyser: An Automated System for Empirical Analysis of Performance Scaling (2015) (9)
- Practices for Engineering Trustworthy Machine Learning Applications (2021) (9)
- Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates (2017) (9)
- Using Advanced GUIDO as a Notation Interchange Format (1999) (9)
- Automating data science (2021) (9)
- Golden parameter search: exploiting structure to quickly configure parameters in parallel (2020) (9)
- Heavy-Tailed Behaviour in Randomised Systematic Search Algorithms for SAT? (1999) (8)
- Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing (2004) (8)
- AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract) (2017) (8)
- Characterising the behaviour of stochastic local search (1999) (8)
- Automated Algorithm Selection and Configuration (Dagstuhl Seminar 16412) (2016) (8)
- Novelty + and Adaptive Novelty + (2004) (8)
- Generating Fast Domain-Optimized Planners by Automatically Configuring a Generic Parameterised Planner (2011) (8)
- SALIERI: A General, Interactive Computer Music System (1998) (8)
- AutoML Adoption in ML Software (2021) (7)
- Automating Data Science: Prospects and Challenges (2021) (7)
- Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics, 2nd International Workshop (2007) (7)
- Algorithm Configuration for Portfolio-based Parallel SAT-Solving (2012) (7)
- Bias in Algorithm Portfolio Performance Evaluation (2016) (7)
- Performance Prediction and Automated Tuning of Randomized and Parametric Algorithms: An Initial Investigation ∗ (2006) (7)
- PbO-CCSAT: Boosting Local Search for Satisfiability Using Programming by Optimisation (2020) (7)
- GUIDO Music Notation : Towards an adequate representation of score level music (1998) (7)
- Some Surprising Regularities in the Behaviour of Stochastic Local Search (1998) (7)
- On the Quality and Quantity of Random Decisions in Stochastic Local Search for SAT (2006) (7)
- An automatically configured modular algorithm for post enrollment course timetabling (2009) (7)
- 3 – GENERALISED LOCAL SEARCH MACHINES (2005) (6)
- The Gsat/sa-familiy { Relating Greedy Satisifability Testing to Simulated Annealing the Gsat/sa Family Relating Greedy Satissability Testing to Simulated Annealing (1994) (6)
- Selection and Configuration of Parallel Portfolios (2018) (6)
- Filling Your Shelves: Synthesizing Diverse Style-Preserving Artifact Arrangements. (2013) (6)
- OASC-2017: *Zilla Submission (2017) (6)
- Quantifying the Similarity of Algorithm Configurations (2016) (6)
- Quantifying Algorithmic Improvements over Time (2018) (6)
- Evaluating Instance Generators by Configuration (2014) (6)
- Performance robustness of AI planners in the 2014 International Planning Competition (2018) (5)
- A note on improving the performance of approximation algorithms for radiation therapy (2011) (5)
- Generating Domain-Specific Planners through Automatic Parameter Configuration in LPG (2011) (5)
- AutoML Loss Landscapes (2022) (5)
- Proceedings of the IJCAI-01 Workshop on Empirical Methods in Artificial Intelligence (2000) (4)
- Exploitation of Default Parameter Values in Automated Algorithm Configuration (2019) (4)
- Configuration of a Dynamic MOLS Algorithm for Bi-objective Flowshop Scheduling (2019) (4)
- 8 – TRAVELLING SALESMAN PROBLEMS (2005) (4)
- 2 – SLS METHODS (2005) (4)
- Scaling and Probabilistic Smoothing (SAPS) (2007) (4)
- Efficient Local Search for Pseudo Boolean Optimization (2021) (4)
- SATzilla2007: a New & Improved Algorithm Portfolio for SAT (2007) (4)
- Empirical Analysis of Randomized Algorithms (2007) (4)
- Automatic Configuration of Bi-Objective Optimisation Algorithms: Impact of Correlation Between Objectives (2018) (3)
- Solving Multi-codebook Quantization in the GPU (2016) (3)
- Automated Algorithm Selection and Configuration (2016) (3)
- Foreword (2019) (3)
- 4 – EMPIRICAL ANALYSIS OF SLS ALGORITHMS (2005) (3)
- Sparrow 2011 (2011) (3)
- A study of stochastic local search algorithms for the quadratic assignment problem (2007) (3)
- Using Racing to Automatically Configure Algorithms for Scaling Performance (2013) (3)
- Scalable, high-quality, SAT-based multi-layer escape routing (2016) (3)
- Reasoning With Conditional Ceteris Paribus Preference Statem (2013) (3)
- Frugal Machine Learning (2021) (3)
- Automatic Configuration of a Multi-objective Local Search for Imbalanced Classification (2020) (3)
- Automating Data Science (Dagstuhl Seminar 18401) (2018) (2)
- Improving the Performance of Stochastic Local Search for Maximum Vertex Weight Clique Problem Using Programming by Optimization (2020) (2)
- Automated Configuration of Negotiation Strategies (2020) (2)
- Taming the complexity monster or: how I learned to stop worrying and love hard problems (2017) (2)
- The CLAIRE COVID-19 initiative: approach, experiences and recommendations (2021) (2)
- 2nd International Conference on Metaheuristics -mic97 Max{min Ant System and Local Search for Combinatorial Optimization Problems (1997) (2)
- Using automated algorithm configuration to improve the optimization of decentralized energy systems modeled as large-scale, two-stage stochastic programs (2017) (2)
- Automated Configuration and Selection of SAT Solvers (2021) (2)
- 9 – SCHEDULING PROBLEMS (2005) (2)
- Communication policies for a parallel multi-colony ACO algorithm with identical colonies (2007) (2)
- Model-Based Algorithm Configuration with Default-Guided Probabilistic Sampling (2020) (2)
- Fermata: Flexible tempo detection for MIDI-file quantization (1997) (2)
- Sparkle: Toward Accessible Meta-Algorithmics for Improving the State of the Art in Solving Challenging Problems (2022) (2)
- Improving the computational efficiency of stochastic programs using automated algorithm configuration: an application to decentralized energy systems (2019) (2)
- Adaptive Novelty + (2005) (2)
- Stochastic Local Search for Multiprocessor Scheduling for Minimum Total Tardiness (2003) (2)
- SPEEDING UP NEURAL NETWORK VERIFICATION VIA AUTOMATED ALGORITHM CONFIGURATION (2021) (2)
- AAAI 2000 Workshop Reports (2001) (2)
- An adaptive bin framework search method for a beta-sheet protein homopolymer model (2007) (2)
- Machine Learning and Technical Analysis for Foreign Exchange Data with Automated Trading (2019) (2)
- Bank of Quantization Models: A Data-Specific Approach to Learning Binary Codes for Large-Scale Retrieval Applications (2015) (2)
- Web delivery of music using the GUIDO NoteServer (2001) (2)
- Neighbourhood Thresholding for Projection-Based Motif Discovery (2005) (2)
- A Characterization of GSAT's Performance on a Class of Hard Structured Problems (1996) (2)
- Semi-supervised Co-ensembling for AutoML (2020) (2)
- Programming a Stochastic Constraint Optimisation Algorithm, by Optimisation (2019) (1)
- Empirical scaling analyzer: An automated system for empirical analysis of performance scaling (2020) (1)
- Combining sequential model-based algorithm configuration with default-guided probabilistic sampling (2020) (1)
- Special issue on "Stochastic Local Search: Recent developments and trends" (2019) (1)
- Analysis of energy-based algorithms for RNA secondary structure prediction (2012) (1)
- Advanced statistical analysis of empirical performance scaling (2020) (1)
- Search Space Analysis (2004) (1)
- Sparkle: A PbO-based Multi-agent Problem-solving Platform (2016) (1)
- Hyper-parameter Optimization for Latent Spaces (2021) (1)
- A study of ant colony optimization algorithms for a biobjective permutation flowshop problem (2007) (1)
- Choosing the Right Neighbourhood: a Way to Improve a Stochastic Local Search Algorithm (2002) (1)
- Artificial Intelligence Research Agenda for the Netherlands (2019) (1)
- Towards Automated Technical Analysis for Foreign Exchange Data (2019) (1)
- Adoption and Effects of Software Engineering Best Practices in Machine Learning - Supplementary Material (2020) (1)
- Preface to the Special Cluster on Stochastic Local Search: Recent Developments and Trends (2022) (1)
- VPint: value propagation-based spatial interpolation (2022) (1)
- Towards Algorithm-Agnostic Uncertainty Estimation: Predicting Classification Error in an Automated Machine Learning Setting (2020) (1)
- Hot-Rodding the Browser Engine: Automatic Configuration of JavaScript Compilers (2017) (1)
- Developing New Concepts to Characterise Empirical Phenomena (1999) (1)
- Statistical Comparison of Algorithm Performance Through Instance Selection (2021) (1)
- Fixed-Parameter Tractability and Improved Approximations for Segment Minimization (2009) (1)
- MultiETSC: automated machine learning for early time series classification (2021) (1)
- Towards Time-Series Feature Engineering in Automated Machine Learning for Multi-Step-Ahead Forecasting (2022) (1)
- SLS-DS 2007: Doctoral symposium on engineering stochastic local search algorithms (2007) (1)
- A Dynamic Algorithm Framework to Automatically Design a Multi-Objective Local Search (2019) (1)
- Composing particle swarm optimization algorithms (2007) (1)
- Programming by Optimisation: Towards a new Paradigm for Developing High-Performance Software (2012) (1)
- Preface (2020) (1)
- Exact stochastic constraint optimisation with applications in network analysis (2021) (1)
- A Multiphase Modular Heuristic Solver for Post Enrollment Course Timetabling (2007) (1)
- 10 – OTHER COMBINATORIAL PROBLEMS (2005) (0)
- Bayesian Weak Supervision via an Optimal Transport Approach (2022) (0)
- An HTTP Interface to Salieri (1998) (0)
- Facets of Fairness : Equal Share , Equal Chance and Uniform Mechanisms ! (2013) (0)
- Improved Approximation Algorithms for Segment Minimization in Intensity Modulated Radiation Therapy (2009) (0)
- Empirical Analysis of Randomised Algorithms (2018) (0)
- 1 The role of pre-mRNA secondary structure in splicing of Saccharomyces cerevisiae (0)
- Chapter 3 Automated Algorithm Configuration and Parameter Tuning (2011) (0)
- Next Big Challenges in Core AI Technology (2021) (0)
- AC-TR-18-004 July 2018 Portfolio-Based Algorithm Selection for Circuit QBFs (2018) (0)
- Beyond programming : the quest for machine intelligence (2017) (0)
- About This Issue (2004) (0)
- Discrete Optimization On the empirical scaling of run-time for finding optimal solutions to the travelling salesman problem (2016) (0)
- International advisory board (2002) (0)
- CPSC 532 D-MODULE 13 : RANDOMISED TREE SEARCH (2003) (0)
- Bayesian Regression from Multiple Sources of Weak Supervision (2021) (0)
- Editors' Notes (2004) (0)
- Solving Hard Combinatorial Problems with G S A TA Case Study (0)
- Stochastic local search for SAT: an empirical evaluation (2000) (0)
- VNF chain abstraction for cloud service providers (2018) (0)
- Better Caching for Better Model Counting (2020) (0)
- 6 – PROPOSITIONAL SATISFIABILITY AND CONSTRAINT SATISFACTION (2005) (0)
- Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (Lecture Notes in Computer Science) (2005) (0)
- Stochastic Search for Multiprocessor Scheduling (2003) (0)
- Under consideration for publication in Theory and Practice of Logic Programming 1 aspeed : Solver Scheduling via Answer Set Programming ∗ (2014) (0)
- Report from Dagstuhl Seminar 16412 Automated Algorithm Selection and Configuration (2017) (0)
- VISCO - Visual SALIERI Components (2000) (0)
- BEHAVIOUR OF ITERATED LOCAL SEARCH FOR THE TRAVELLING SALESMAN PROBLEM (2002) (0)
- CPSC 532 D-MODULE 7 : SEARCH SPACE ANALYSIS (0)
- 5 – SEARCH SPACE STRUCTURE AND SLS PERFORMANCE (2005) (0)
- Proceedings of the IJCAI-01 Workshop on Stochastic Search Algorithms (2003) (0)
- Annals of Operations Research (2007) (0)
- On the empirical scaling of running time for finding optimal solutions to the TSP (2018) (0)
- Question : How do you show the superiority of your new algorithm ? (2003) (0)
- On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances (2014) (0)
- Automated Configuration and Usage of Strategy Portfolios Mixed-Motive Bargaining (2022) (0)
- Value propagation-based spatio-temporal interpolation inspired by Markov reward processes (2021) (0)
- Randomised Tree Search (2004) (0)
- Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio (2022) (0)
- Terms of use : Click here aspeed : Solver scheduling via answer set programming (2014) (0)
- Taming the Complexity Monster or: How I learned to Stop Worrying and Love Hard Problems (2016) (0)
- Hyper-Parameter Optimization for Latent Spaces in Dynamic Recommender Systems (2021) (0)
- The 13th International Automated Negotiating Agent Competition Challenges and Results (2022) (0)
- Efficient benchmarking of algorithm configurators via model-based surrogates (2017) (0)
- Computer-Aided Algorithm Design: Automated Tuning, Configuration, Selection, and Beyond (2010) (0)
- Analysing differences between algorithm configurations through ablation (2015) (0)
- Prediction and technical analysis of the Bitcoin crypto currency using machine learning (2020) (0)
- SLS Algorithms for SAT : Irregular Instances , Search Stagnation , and Mixture Models ( Extended Abstract ) (2002) (0)
- Computational Intelligence: An International Journal (2004) (0)
- Opening the Black Box: Automated Software Analysis for Algorithm Selection (2022) (0)
- Automated Machine Learning for COVID-19 Forecasting (2022) (0)
- A survey on semi-supervised learning (2019) (0)
- Automated Configuration and Usage of Strategy Portfolios for Bargaining (2022) (0)
- Ensemble-based prediction of RNA secondary structures (2013) (0)
- Chapter 8 Selection and Configuration of Parallel Portfolios (2017) (0)
- Theory and Applications of Satisfiability Testing, 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers (2005) (0)
- An automatically configured algorithm selector (2015) (0)
- Solver Scheduling via Answer Set Programming (2014) (0)
- Increasing Trust and Fairness in Machine Learning Applications within the Mortgage Industry (2022) (0)
- Automated Artificial Intelligence (AutoAI) (2018) (0)
- Algorithm Runtime Prediction : Methods & Evaluation ( Extended (2015) (0)
- Improvements on Ant-System : Introducing (1996) (0)
This paper list is powered by the following services:
Other Resources About Holger H. Hoos
What Schools Are Affiliated With Holger H. Hoos?
Holger H. Hoos is affiliated with the following schools: