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.

7542 Publications


2017 | Journal Article | LibreCat-ID: 69
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software
M.-C. Jakobs, H. Wehrheim, ACM Transactions on Programming Languages and Systems (2017) 7:1-7:56.
LibreCat | Files available | DOI
 

2017 | Book Chapter | LibreCat-ID: 16461
Monitoring of Domain-Related Problems in Distributed Data Streams
P. Bemmann, F. Biermeier, J. Bürmann, A. Kemper, T. Knollmann, S. Knorr, N. Kothe, A. Mäcker, M. Malatyali, F. Meyer auf der Heide, S. Riechers, J.S. Schaefer, J. Sundermeier, in: Structural Information and Communication Complexity, Cham, 2017.
LibreCat | DOI | arXiv
 

2017 | Report | LibreCat-ID: 1057
Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries
O. Sürücü, B. Mir Djawadi, S. Brangewitz, Asymmetric Dominance Effect with Multiple Decoys for Low- and High-Variance Lotteries, Universität Paderborn, 2017.
LibreCat | Files available
 

2017 | Mastersthesis | LibreCat-ID: 106
Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz
I. Krammer, Denn wir wissen, was gemeint ist: Erweiterung bestehender Lösungen zur lexikalischen Disambiguierung durch einen kontextsensitiven Whitelist-Ansatz, Universität München, 2017.
LibreCat
 

2017 | Journal Article | LibreCat-ID: 1062
The revenue potential of product differentiation: Empirical evidence fro the Croation restaurant industry
B. Frick, O. Gergaud, P. Winter, Gastronomy and Tourism 2 (2017) 259-271(13).
LibreCat | Files available | DOI
 

2017 | Conference Paper | LibreCat-ID: 10760
Parametrizing Cartesian Genetic Programming: An Empirical Study
P. Kaufmann, R. Kalkreuth, in: KI 2017: Advances in Artificial Intelligence: 40th Annual German Conference on AI, Springer International Publishing, 2017.
LibreCat | DOI
 

2017 | Mastersthesis | LibreCat-ID: 109 | OA
Cooperative static analysis of Android applications
F. Pauck, Cooperative Static Analysis of Android Applications, Universität Paderborn, 2017.
LibreCat | Files available
 

2017 | Conference Paper | LibreCat-ID: 1094
Making Gamification Easy for the Professor: Decoupling Game and Content with the StudyNow Mobile App
M. Feldotto, T. John, D. Kundisch, P. Hemsen, K. Klingsieck, A. Skopalik, in: Proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology (DESRIST), 2017, pp. 462–467.
LibreCat | Files available | DOI
 

2017 | Journal Article | LibreCat-ID: 1098
Semantic Annotation of Software Requirements with Language Frame
Y.-S. Kim, S.-W. Lee, M. Dollmann, M. Geierhos, International Journal of Software Engineering for Smart Device 4 (2017) 1–6.
LibreCat | Files available
 

2017 | Conference Paper | LibreCat-ID: 11717 | OA
A Study on Transfer Learning for Acoustic Event Detection in a Real Life Scenario
P. Arora, R. Haeb-Umbach, in: IEEE 19th International Workshop on Multimedia Signal Processing (MMSP), 2017.
LibreCat | Files available | Download (ext.)
 

2017 | Report | LibreCat-ID: 11735 | OA
On the Computation of Complex-valued Gradients with Application to Statistically Optimum Beamforming
C. Boeddeker, P. Hanebrink, L. Drude, J. Heymann, R. Haeb-Umbach, On the Computation of Complex-Valued Gradients with Application to Statistically Optimum Beamforming, 2017.
LibreCat | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 11736 | OA
Optimizing Neural-Network Supported Acoustic Beamforming by Algorithmic Differentiation
C. Boeddeker, P. Hanebrink, L. Drude, J. Heymann, R. Haeb-Umbach, in: Proc. IEEE Intl. Conf. on Acoustics, Speech and Signal Processing (ICASSP), 2017.
LibreCat | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 11737 | OA
A Generalized Log-Spectral Amplitude Estimator for Single-Channel Speech Enhancement
A. Chinaev, R. Haeb-Umbach, in: Proc. IEEE Intl. Conf. on Acoustics, Speech and Signal Processing (ICASSP), 2017.
LibreCat | Files available | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 11754 | OA
Tight integration of spatial and spectral features for BSS with Deep Clustering embeddings
L. Drude, R. Haeb-Umbach, in: INTERSPEECH 2017, Stockholm, Schweden, 2017.
LibreCat | Files available | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 11770 | OA
Leveraging Text Data for Word Segmentation for Underresourced Languages
T. Glarner, B. Boenninghoff, O. Walter, R. Haeb-Umbach, in: INTERSPEECH 2017, Stockholm, Schweden, 2017.
LibreCat | Files available | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 1180 | OA
Automatic Machine Learning: Hierachical Planning Versus Evolutionary Optimization
M.D. Wever, F. Mohr, E. Hüllermeier, in: 27th Workshop Computational Intelligence, Dortmund, 2017.
LibreCat | Files available | Download (ext.)
 

2017 | Conference Paper | LibreCat-ID: 11809 | OA
BEAMNET: End-to-End Training of a Beamformer-Supported Multi-Channel ASR System
J. Heymann, L. Drude, C. Boeddeker, P. Hanebrink, R. Haeb-Umbach, in: Proc. IEEE Intl. Conf. on Acoustics, Speech and Signal Processing (ICASSP), 2017.
LibreCat | Files available | Download (ext.)
 

2017 | Journal Article | LibreCat-ID: 11811 | OA
A Generic Neural Acoustic Beamforming Architecture for Robust Multi-Channel Speech Processing
J. Heymann, L. Drude, R. Haeb-Umbach, Computer Speech and Language (2017).
LibreCat | Download (ext.)
 

2017 | Mastersthesis | LibreCat-ID: 119 | OA
Active Learning of User Requirement Specifications in Dynamic Software Service Markets
M.D. Wever, Active Learning of User Requirement Specifications in Dynamic Software Service Markets, Universität Paderborn, 2017.
LibreCat | Files available
 

2017 | Conference Paper | LibreCat-ID: 120
Active Coevolutionary Learning of Requirements Specifications from Examples
M.D. Wever, L. van Rooijen, H. Hamann, in: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO), 2017, pp. 1327--1334.
LibreCat | Files available | DOI
 

Filters and Search Terms

isbn%3D978-3-540-60972-8

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed