Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 101 to 110 of 507.
  1. Jindřich Helcl; Jindřich Libovický

    Neural Monkey: An Open-source Tool for Sequence Learning

    In: Prague Bulletin of Mathematical Linguistics, Vol. 107, Pages 1-11, Charles University, 2017.

  2. Eftim Zdravevski; Vladimir Trajkovik; Ivan Chorbev; Ciprian Dobre; Constandinos X. Mavromoustakis; Ivan Ganchev; Rumen Stainov; Nuno M. Garcia; Rossitza Goleva; Serge Autexier

    Enhanced Living Environments: From models to technologies

    In: Carlos Valderrama; Nuno M. Garcia; Ciprian Dobre; Ivan Ganchev; Rossitza Ivanova Goleva. Enhanced Living Environments: From models to …

  3. Martin Ring; Christoph Lüth

    Interactive Proof Presentations with Cobra

    In: Serge Autexier; Pedro Queresma (Hrsg.). Workshop on User Interfaces for Theorem Provers (UITP2016). User Interfaces for Theorem Provers …

  4. Patrick Lübbecke; Peter Fettke; Peter Loos

    Sustainability Patterns for the Improvement of IT-related Business Processes with Regard to Ecological Goals

    In: Marlon Dumas; Marcelo Fantinato (Hrsg.). Business Process Management Workshops. Business Process Management (BPM-2016), International Workshop on …

  5. Kenneth Schmitz; Arun Chandrasekharan; Jonas Gomes Filho; Daniel Große; Rolf Drechsler

    Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs

    In: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-22), January …

  6. Sebastian Huhn; Stefan Frehse; Robert Wille; Rolf Drechsler

    Enhancing Robustness of Sequential Circuits Using Application-specific Knowledge and Formal Methods

    In: 22nd Asia and South Pacific Design Automation Conference ASP-DAC 2017. Asia and South Pacific Design Automation Conference (ASP-DAC-22), January …

  7. Dirk Weissenborn; Georg Wiese; Laura Seiffe

    Making Neural QA as Simple as Possible but not Simpler

    In: ACL. Conference on Computational Natural Language Learning (CoNLL), August 3-4, Vacnouver, BC, Canada, ACL, 8/2017.

  8. Model-based furniture recognition for building semantic object maps

    In: Artificial Intelligence (AIJ), Vol. 2017, No. 247, Pages 336-351, Elsevier, 6/2017.

  9. Gunther Reinhart; Detlef Zühlke

    Von CIM zu Industrie 4.0

    In: Gunther Reinhart. Handbuch Industrie 4.0 - Geschäftsmodelle, Prozesse, Technik. Pages XXXI-XL, ISBN 978-3-446-44642-7, Carl Hanser Verlag GmbH & …

  10. Max Birtel; Fabian Quint; Martin Ruskowski

    Virtuelle Benutzungsschnittstellen auf Basis semantischer Modelle zur vereinfachten Anlageninteraktion

    In: M. Burghardt; R. Wimmer; C. Wolff; C. Womser-Hacker (Hrsg.). Mensch und Computer 2017 - Workshopband. Mensch und Computer (MuC-2017), September …