Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2017
Alle Filter entfernen
Zeige Ergebnisse 1 bis 10 von 507.

  1. André Antakli; Pablo Alvarado Moya; Beat Brüderlin; Ulrich Canzler; Holger Dammertz; Volker Enderlein; Jürgen Grüninger; Andreas Harth; Hilko Hoffmann; Eduard Jundt; Peter Keitler; Felix Leif Keppmann; Roland Krzikalla; Sebastian Lampe; Alexander Löffler; Julian Meder; Michael Otto; Frieder Pankratz; Sebastian Pfützner; Matthias Roth; Richard Sauerbier; Werner Schreiber; Roland Stechow; Johannes Tümler; Christian Vogelgesang; Oliver Wasenmüller; Andreas Weinmann; Jochen Willneff; Hans-Joachim Wirsching; Ingo Zinnikus; Konrad Zürl; René Schubotz

    Virtuelle Techniken und Semantic-Web

    In: Werner Schreiber; Konrad Zürl; Peter Zimmermann. Web-basierte Anwendungen Virtueller Techniken. Pages 17-116, Springer, 2017.

  2. Aditya Tewari; Bertram Taetz; Frederic Grandidier; Didier Stricker

    A Probabilistic Combination of CNN and RNN Estimates for Hand Gesture Based Interaction in Car

    In: 16th IEEE International Symposium on Mixed and Augmented Reality (ISMAR). IEEE International Symposium on Mixed and Augmented Reality (ISMAR-17), October 9-13, Nantes, France, 16, 2017.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. Daniel Porta

    KomBInoS - Modellgetriebene Entwicklung von multimodalen Dialogschnittstellen für Smart Services

    PhD-Thesis, Universität des Saarlandes, 2017.

  8. Christoph Zetzsche; Ruth Rosenholtz; Noshaba Cheema; Konrad Gadzicki; Lex Fridman; Kerstin Schill

    Neural Computation of Statistical Image Properties in Peripheral Vision

    In: Vision Science Society (Hrsg.). MODVIS. Computational and Mathematical Models in Vision (MODVIS-2017), located at Vision Sciences Society Annual Meeting, May 17-19, St. Pete Beach, FL, USA, Purdue University, 5/2017.

  9. Mathias Soeken; Pierre-Emmanuel Gaillardon; Saeideh Shirinzadeh; Rolf Drechsler; Giovanni De Micheli

    A PLiM computer for the IoT

    In: Computers, Vol. 6, Pages 35-40, IEEE, 2017.

  10. Arighna Deb; Robert Wille; Rolf Drechsler

    Dedicated Synthesis for MZI-based Optical Circuits based on AND-Inverter Graphs

    In: International Conference on Computer Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design (ICCAD-2017), November 13-16, Irvine, CA, USA, 2017.

Jahr