Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
367 Publications
2018 | Bachelorsthesis | LibreCat-ID: 3320
Korrektheitsbeweise für Muster von Servicekompositionen
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
LibreCat
K. Rautenberg, Korrektheitsbeweise für Muster von Servicekompositionen, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 3373
An FPGA/HMC-Based Accelerator for Resolution Proof Checking
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
LibreCat
| Files available
| DOI
T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.
2018 | Journal Article | LibreCat-ID: 3402
On the effectiveness of heuristics for learning nested dichotomies: an empirical analysis
V. Melnikov, E. Hüllermeier, Machine Learning (2018).
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, Machine Learning (2018).
2018 | Conference Paper | LibreCat-ID: 3414
JMCTest: Automatically Testing Inter-Method Contracts in Java
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
LibreCat
| Files available
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
2018 | Journal Article | LibreCat-ID: 3510 | 
ML-Plan: Automated Machine Learning via Hierarchical Planning
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, Machine Learning (2018) 1495–1515.
2018 | Conference Paper | LibreCat-ID: 3552 |
Reduction Stumps for Multi-Class Classification
F. Mohr, M.D. Wever, E. Hüllermeier, in: Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands, n.d.
LibreCat
| Files available
| DOI
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, in: Proceedings of the Symposium on Intelligent Data Analysis, ‘s-Hertogenbosch, the Netherlands, n.d.
2018 | Preprint | LibreCat-ID: 3586
CIRCA: Towards a Modular and Extensible Framework for Approximate Circuit Generation
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, H. Ghasemzadeh Mohammadi, M. Awais, M. Platzner, Third Workshop on Approximate Computing (AxC 2018) (n.d.).
2018 | Dissertation | LibreCat-ID: 3720
FPGA-based Reconfigurable Cache Mapping Schemes: Design and Optimization
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.
LibreCat
| DOI
N. Ho, FPGA-Based Reconfigurable Cache Mapping Schemes: Design and Optimization, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 3852 |
ML-Plan for Unlimited-Length Machine Learning Pipelines
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
LibreCat
| Files available
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, in: ICML 2018 AutoML Workshop, 2018.
2018 | Preprint | LibreCat-ID: 2711
Do Android Taint Analysis Tools Keep their Promises?
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
LibreCat
| Files available
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
2018 | Preprint | LibreCat-ID: 1165
Making the Case for Proof-carrying Approximate Circuits
L.M. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).
LibreCat
| Files available
L.M. Witschen, T. Wiersema, M. Platzner, 4th Workshop On Approximate Computing (WAPCO 2018) (2018).
2018 | Conference Paper | LibreCat-ID: 2109 |
Ensembles of Evolved Nested Dichotomies for Classification
M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018, ACM, Kyoto, Japan, 2018.
LibreCat
| Files available
| DOI
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, in: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2018, Kyoto, Japan, July 15-19, 2018, ACM, Kyoto, Japan, 2018.
2018 | Preprint | LibreCat-ID: 17713 |
Automated Multi-Label Classification based on ML-Plan
M.D. Wever, F. Mohr, E. Hüllermeier, (2018).
LibreCat
| Download (ext.)
M.D. Wever, F. Mohr, E. Hüllermeier, (2018).
2018 | Preprint | LibreCat-ID: 17714 |
Automated machine learning service composition
F. Mohr, M.D. Wever, E. Hüllermeier, (2018).
LibreCat
| Download (ext.)
F. Mohr, M.D. Wever, E. Hüllermeier, (2018).
2018 | Book Chapter | LibreCat-ID: 2322
How to Deal with Inaccurate Service Descriptions in On-The-Fly Computing: Open Challenges
F.S. Bäumer, M. Geierhos, in: M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, F. Meziane (Eds.), Proceedings of the 23rd International Conference on Natural Language and Information Systems, Springer, Cham, Switzerland, 2018, pp. 509–513.
LibreCat
| Files available
| DOI
F.S. Bäumer, M. Geierhos, in: M. Silberztein, F. Atigui, E. Kornyshova, E. Métais, F. Meziane (Eds.), Proceedings of the 23rd International Conference on Natural Language and Information Systems, Springer, Cham, Switzerland, 2018, pp. 509–513.
2018 | Journal Article | LibreCat-ID: 2331
Improving Classifiers for Semantic Annotation of Software Requirements with Elaborate Syntactic Structure
Y. Kim, S. Lee, M. Dollmann, M. Geierhos, International Journal of Advanced Science and Technology 112 (2018) 123–136.
LibreCat
| Files available
| DOI
Y. Kim, S. Lee, M. Dollmann, M. Geierhos, International Journal of Advanced Science and Technology 112 (2018) 123–136.
2018 | Bachelorsthesis | LibreCat-ID: 5693
Ranking of Classification Algorithms in AutoML
H. Graf, Ranking of Classification Algorithms in AutoML, Universität Paderborn, 2018.
LibreCat
H. Graf, Ranking of Classification Algorithms in AutoML, Universität Paderborn, 2018.
2018 | Conference Paper | LibreCat-ID: 5774
Information Flow Certificates
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
LibreCat
| Files available
| DOI
M. Töws, H. Wehrheim, in: Theoretical Aspects of Computing – ICTAC 2018, Springer International Publishing, Cham, 2018, pp. 435–454.
2018 | Bachelorsthesis | LibreCat-ID: 5936
Learning about learning curves from dataset properties
M. Scheibl, Learning about Learning Curves from Dataset Properties, Universität Paderborn, 2018.
LibreCat
M. Scheibl, Learning about Learning Curves from Dataset Properties, Universität Paderborn, 2018.
2018 | Book Chapter | LibreCat-ID: 6423
Preference-Based Reinforcement Learning Using Dyad Ranking
D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International Publishing, Cham, 2018, pp. 161–175.
LibreCat
| Files available
| DOI
D. Schäfer, E. Hüllermeier, in: Discovery Science, Springer International Publishing, Cham, 2018, pp. 161–175.