Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2017
Remove all filters
Displaying results 71 to 80 of 507.

  1. 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 Sustainability-Aware Business Process Management, located at BPM 2016, September 18-22, Rio de Janeiro, Brazil, Lecture Notes in Business Information Processing (LNBIP), Vol. 281, Springer, 2017.

  2. 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 16-19, Tokio, Japan, 2017.

  3. 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 16-19, Tokio, Japan, 2017.

  4. 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 (UITP-2016), located at International Joint Conference on Automated Reasoning IJCAR 2016, July 2, Coimbra, Portugal, Pages 43-52, Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 239, Open Publishing Association, 1/2017.

  5. Ayushman Dash; John Cristian Borges Gamboa; Sheraz Ahmed; Marcus Liwicki; Muhammad Zeshan Afzal

    TAC-GAN-text conditioned auxiliary classifier generative adversarial network

    arxiv, 2017.

  6. Octavia-Maria Şulea; Marcos Zampieri; Shervin Malmasi; Mihaela Vela; Liviu P. Dinu; Josef van Genabith

    Exploring the Use of Text Classification in the Legal Domain.

    In: Proceedings of the Second Workshop on Automated Semantic Analysis of Information in Legal Text. Automated Semantic Analysis of Information in Legal Text (ASAIL-2017), Workshop on Automated Semantic Analysis of Information in Legal Text, located at ICAIL 2017: XVI International Conference on AI and Law, June 16, London, United Kingdom, ceur-ws.org, 10/2017.

  7. Johannes Bayer (Hrsg.)

    IAPR

    IAPR International Workshop on Graphics Recognition (GREC-2017), located at 12th IAPR International Workshop on Graphics Recognition, Japan, 2017.

  8. Faysal Boughorbel; Pavel Potocek; Milos Hovorka; Libor Strakos; John Mitchels; Tomas Vystavel; Patrick Trampert; Ben Lich; Tim Dahmen

    High-Throughput Large Volume SEM Workflow using Sparse Scanning and In-painting Algorithms Inspired by Compressive Sensing

    In: Microscopy and Microanalysis, Vol. 23, No. S1, Pages 150-151, Cambridge University Press, 7/2017.

  9. Yuriy Anisimov; Didier Stricker

    Fast and Efficient Depth Map Estimation from Light Fields

    In: 3DVision 2017 |. International Conference on 3DVision (3DV-17), October 10-12, Qingdao, China, Conference Publishing Services (CPS), IEEE Xplore and CSDL, 12/2017.

  10. Florian Cordes; Ajish Babu; Frank Kirchner

    Static Force Distribution and Orientation Control for a Rover with an Actively Articulated Suspension System

    In: Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-17), Friendly People, Friendly Robots, September 24-28, Vancouver, BC, Canada, IEEE/RSJ, 9/2017.

Year