Profilinformationen

Prof. Dr.  Marius Thomas Lindauer

https://orcid.org/0000-0002-9675-3175
Forschungs-netzwerk anzeigen
101 - 120 von 131Seitengröße: 20

Publikationen

  1. 2018

  2. Efficient benchmarking of algorithm configurators via model-based surrogates

    Eggensperger, K., Lindauer, M., Hoos, H. H., Hutter, F. & Leyton-Brown, K., Jan. 2018, in: Machine learning. 107, 1, S. 15-41 27 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  3. Neural Networks for Predicting Algorithm Runtime Distributions

    Eggensperger, K., Lindauer, M. & Hutter, F., 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (Hrsg.). S. 1442-1448 7 S.

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  4. Practical Automated Machine Learning for the AutoML Challenge 2018

    Feurer, M., Eggensperger, K., Falkner, S., Lindauer, M. T. & Hutter, F., 2018.

    Publikation: Konferenzbeitrag › Paper › Forschung

  5. Warmstarting of Model-Based Algorithm Configuration

    Lindauer, M. & Hutter, F., 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. S. 1355-1362 8 S. (Proceedings of the AAAI Conference on Artificial Intelligence).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  6. 2017

  7. Efficient Parameter Importance Analysis via Ablation with Surrogates

    Biedenkapp, A., Lindauer, M., Eggensperger, K., Hutter, F., Fawcett, C. & Hoos, H. H., 2 Nov. 2017, Proceedings of the AAAI Conference on Artificial Intelligence.

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  8. Improving local search in a minimum vertex cover solver for classes of networks

    Wagner, M., Friedrich, T. & Lindauer, M., 7 Juli 2017, 2017 IEEE Congress on Evolutionary Computation (CEC): Proceedings. Institute of Electrical and Electronics Engineers Inc., S. 1704-1711 8 S.

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  9. The Configurable SAT Solver Challenge (CSSC)

    Hutter, F., Lindauer, M., Balint, A., Bayless, S., Hoos, H. & Leyton-Brown, K., Feb. 2017, in: Artificial intelligence. 243, S. 1-25 25 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  10. AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

    Lindauer, M., Hutter, F., Hoos, H. H. & Schaub, T., 2017, International Joint Conference on Artificial Intelligence (IJCAI 2017). Sierra, C. (Hrsg.). S. 5025-5029 5 S.

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Abstract in Konferenzband › Forschung › Peer-Review

  11. Open Algorithm Selection Challenge 2017 Setup and Scenarios

    Lindauer, M. T., van Rijn, J. N. & Kotthoff, L., 2017.

    Publikation: Konferenzbeitrag › Paper › Forschung

  12. 2016

  13. An Empirical Study of Per-instance Algorithm Scheduling

    Lindauer, M., Bergdoll, R. D. & Hutter, F., 1 Dez. 2016, Learning and Intelligent Optimization. Festa, P., Sellmann, M. & Vanschoren, J. (Hrsg.). Springer Verlag, S. 253-259 7 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 10079 LNCS).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  14. SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers

    Manthey, N. & Lindauer, M., 11 Juni 2016, Theory and Applications of Satisfiability Testing – SAT 2016. Le Berre, D. & Creignou, N. (Hrsg.). Springer Verlag, S. 554-561 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9710).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  15. Automatic construction of parallel portfolios via algorithm configuration

    Lindauer, M., Hoos, H., Leyton-Brown, K. & Schaub, T., 20 Mai 2016, in: Artificial intelligence. 244, S. 272-290 19 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  16. ASlib: A benchmark library for algorithm selection

    Bischl, B., Kerschke, P., Kotthoff, L., Lindauer, M., Malitsky, Y., Fréchette, A., Hoos, H., Hutter, F., Leyton-Brown, K., Tierney, K. & Vanschoren, J., Apr. 2016, in: Artificial intelligence. 237, S. 41-58 18 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  17. 2015

  18. SpySMAC: Automated Configuration and Performance Analysis of SAT Solvers

    Falkner, S., Lindauer, M. & Hutter, F., 27 Okt. 2015, Theory and Applications of Satisfiability Testing – SAT 2015. Heule, M. & Weaver, S. (Hrsg.). Springer Verlag, S. 215-222 8 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9340).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  19. AutoFolio: An Automatically Configured Algorithm Selector

    Lindauer, M. T., Hoos, H., Hutter, F. & Schaub, T., 15 Aug. 2015, in: Journal of Artificial Intelligence Research. 53, S. 745-778 34 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung

  20. Reports on the 2015 AAAI Workshop Series

    Albrecht, S. V., Beck, J. C., Buckeridge, D. L., Botea, A., Caragea, C., Chi, C. H., Damoulas, T., Dilkina, B., Eaton, E., Fazli, P., Ganzfried, S., Giles, C. L., Guillet, S., Holte, R., Hutter, F., Koch, T., Leonetti, M., Lindauer, M., Machado, M. C., Malitsky, Y., Marcus, G., Meijer, S., Rossi, F., Shaban-Nejad, A., Thiebaux, S., Veloso, M., Walsh, T., Wang, C., Zhang, J. & Zheng, Y., 21 Juni 2015, in: AI magazine. 36, 2, S. 90-101 12 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  21. From Sequential Algorithm Selection to Parallel Portfolio Selection

    Lindauer, M., Hoos, H. H. & Hutter, F., 29 Mai 2015, Learning and Intelligent Optimization. Dhaenens, C., Jourdan, L. & Marmion, M.-E. (Hrsg.). Springer Verlag, S. 1-16 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 8994).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  22. Auto folio: Algorithm configuration for algorithm selection

    Lindauer, M., Hoos, H. H., Schaub, T. & Hutter, F., 2015, Algorithm Configuration: papers presented at the Twenty-Ninth AAAI Conference on Artificial Intelligence. AI Access Foundation, S. 9-15 7 S. (AAAI Workshop - Technical Report).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  23. Veröffentlicht

    AutoFolio: Algorithm Configuration for Algorithm Selection.

    Lindauer, M., Hoos, H. H., Hutter, F. & Schaub, T., 2015, AAAI Workshop: Algorithm Configuration.

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  24. Preface

    Hutter, F., Lindauer, M. & Malitsky, Y., 2015, Algorithm configuration: papers presented at the Twenty-Ninth AAAI Conference on Artificial Intelligence. S. vii (AAAI Workshop - Technical Report).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Vorherige 12 3 4 5 6 7 Nächste