Holger H. Hoos

Loading Google Thumbnails...
2011
21CP-nets: A Tool for Representing and Reasoning withConditional Ceteris Paribus Preference Statements. Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole. CoRR (abs/1107.0023) (2011). Web SearchBibTeXDownload
20SATzilla: Portfolio-based Algorithm Selection for SAT. Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown. CoRR (abs/1111.2249) (2011). Web SearchBibTeXDownload
19A note on improving the performance of approximation algorithms for radiation therapy. Therese C. Biedl, Stephane Durocher, Holger H. Hoos, Shuang Luan, Jared Saia, Maxwell Young. Inf. Process. Lett. (111): 326-333 (2011). Web SearchBibTeXDownload
2010
18Hydra: Automatically Configuring Algorithms for Portfolio-Based Selection. Lin Xu, Holger Hoos, Kevin Leyton-Brown. AAAI 2010. Web SearchBibTeXDownload
2009
17Fixed-Parameter Tractability and Improved Approximations for Segment Minimization. Therese C. Biedl, Stephane Durocher, Holger H. Hoos, Shuang Luan, Jared Saia, Maxwell Young. CoRR (abs/0905.4930) (2009). Web SearchBibTeXDownload
16SATenstein: Automatically Building Local Search SAT Solvers from Components. Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown. IJCAI 2009, 517-524. Web SearchBibTeXDownload
2008
15RNA STRAND: The RNA Secondary Structure and Statistical Analysis Database. Mirela Andronescu, Vera Bereg, Holger H. Hoos, Anne Condon. BMC Bioinformatics (9) (2008). Web SearchBibTeXDownload
14SATzilla: Portfolio-based Algorithm Selection for SAT. Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown. J. Artif. Intell. Res. (JAIR) (32): 565-606 (2008). Web SearchBibTeXDownload
2007
13Computational RNA secondary structure design: empirical complexity and improved methods. Rosalía Aguirre-Hernández, Holger H. Hoos, Anne Condon. BMC Bioinformatics (8) (2007). Web SearchBibTeXDownload
12Hierarchical Hardness Models for SAT. Lin Xu, Holger H. Hoos, Kevin Leyton-Brown. CP 2007, 696-711. Web SearchBibTeXDownload
11: The Design and Analysis of an Algorithm Portfolio for SAT. Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown. CP 2007, 712-727. Web SearchBibTeXDownload
10A Parallel Workflow for Real-time Correlation and Clustering of High-Frequency Stock Market Data. Camilo Rostoker, Alan Wagner, Holger H. Hoos. IPDPS 2007, 1-10. Web SearchBibTeXDownload
9Efficient parameter estimation for RNA secondary structure prediction. Mirela Andronescu, Anne Condon, Holger H. Hoos, David H. Mathews, Kevin P. Murphy. ISMB/ECCB (Supplement of Bioinformatics) 2007, 19-28. Web SearchBibTeXDownload
2004
8Preference-Based Constrained Optimization with CP-Nets. Craig Boutilier, Ronen I. Brafman, Carmel Domshlak, Holger H. Hoos, David Poole. Computational Intelligence (20): 137-157 (2004). Web SearchBibTeXDownload
7CP-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. J. Artif. Intell. Res. (JAIR) (21): 135-191 (2004). Web SearchBibTeXDownload
2003
6RNAsoft: a suite of RNA secondary structure prediction and design software tools. Mirela Andronescu, Rosalía Aguirre-Hernández, Anne Condon, Holger H. Hoos. Nucleic Acids Research (31): 3416-3422 (2003). Web SearchBibTeXDownload
5Inference of Transcriptional Regulation Relationships from Gene Expression Data. Andrew T. Kwon, Holger H. Hoos, Raymond T. Ng. SAC 2003, 135-140. Web SearchBibTeX
2002
4Stochastic Local Search Algorithms for DNA Word Design. Dan C. Tulpan, Holger H. Hoos, Anne Condon. DNA 2002, 229-241. Web SearchBibTeXDownload
3From RNA Secondary Structure to Coding Theory: A Combinatorial Approach. Christine E. Heitsch, Anne Condon, Holger H. Hoos. DNA 2002, 215-228. Web SearchBibTeXDownload
2001
2AAAI 2000 Workshop Reports. Yves Lespérance, Gerd Wagner, William P. Birmingham, Kurt D. Bollacker, Alexander Nareyek, J. Paul Walser, David W. Aha, Timothy W. Finin, Benjamin N. Grosof, Nathalie Japkowicz, Robert Holte, Lise Getoor, Carla P. Gomes, Holger H. Hoos, Alan C. Schultz, Miroslav Kubat, Tom M. Mitchell, Jörg Denzinger, Yolanda Gil, Karen L. Myers, Claudio Bettini, Angelo Montanari. AI Magazine (22): 127-136 (2001). Web SearchBibTeXDownload
1999
1Reasoning With Conditional Ceteris Paribus Preference Statements. Craig Boutilier, Ronen I. Brafman, Holger H. Hoos, David Poole. UAI 1999, 71-80. Web SearchBibTeXDownload
from DBLP and Google Scholar
Developed by the Database Group at the University of Wisconsin and Yahoo! Research