Skip to main content Skip to main navigation

Publications

Displaying results 1 to 10 of 572.
  1. Saman Fröhlich; Daniel Große; Rolf Drechsler

    Approximate Hardware Generation Using Formal Techniques

    In: Sherief Reda; Muhammad Shafique. Approximate Circuits: Methodologies and CAD. Pages 155-174, Approximate Circuits: Methodologies and CAD, 2019.

  2. Adrian Bartnik; Bonaventura Del Monte; Tilmann Rabl; Volker Markl

    On-the-fly Reconfiguration of Query Plans for Stateful Stream Processing Engines

    In: Datenbanksysteme für Business, Technologie und Web (BTW 2019). GI-Fachtagungen (BTW), Fachtagung für Datenbanksysteme für Business, Technologie …

  3. Eurosat: A novel dataset and deep learning benchmark for land use and land cover classification

    In: IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, IEEE, 2019.

  4. Bradley Gram-Hansen; Patrick Helber; Indhu Varatharajan; Faiza Azam; Alejandro Coca-Castro; Veronika Kopackova; Piotr Bilinski

    Mapping Informal Settlements in Developing Countries using Machine Learning and Low Resolution Multi-spectral Data

    In: AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society. AAAI/ACM Conference on Artificial Intelligence, Ethics, and Society …

  5. Sebastian Huhn; Stephan Eggersglüß; Rolf Drechsler

    Enhanced Embedded Test Compression Technique For Processing Incompressible Test Patterns

    In: 31.GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ 2019). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  6. Tim G. J. Rudner; Marc Rußwurm; Jakub Fil; Ramona Pelich; Benjamin Bischke; Veronika Kopackova; Piotr Bilinski

    Multi3-Net: Segmenting Flooded Buildings via Fusion of Multiresolution, Multisensor, and Multitemporal Satellite Imagery

    In: Proceedings of the Thirty-Third AAAI. AAAI Conference on Artificial Intelligence (AAAI-2019), January 27 - February 1, Honolulu, Hawaii, USA, …

  7. Alejandro Figueroa; Carlos Gómez-Pantoja; Günter Neumann

    Integrating heterogeneous sources for predicting question temporal anchors across Yahoo! Answers

    In: Information Fusion, Vol. 50, Pages 112-125, Elsevier, 10/2019.

  8. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

    In: Daniel Große; Sara Vinco; Hiren Patel. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017. …

  9. Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking

    In: Stefan Conrad; Paul Molitor (Hrsg.). IT - information technology (IT), DE GRUYTER OLDENBOURG, 2019.