Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 507.
  1. Jumyung Um; Matthieu Rauch; Jy Hascoet; Ian Stroud

    STEP-NC compliant process planning of additive manufacturing: Remanufacturing

    In: International Journal of Advanced Manufacturing Technology, Vol. 88, Pages 1215-1230, Springer, 2017.

  2. Marie-Helene Stoltz; Vaggelis Giannikas; Duncan Mcfarlane; James Strachan; Jumyung Um; Rengarajan Srinivasan

    Augmented Reality in Warehouse Operations: Oppaortunities and Barriers

    In: IFAC-PapersOnLine, Vol. 50, No. 1, Pages 12979-12984, Elsevier, 2017.

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

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

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

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

  6. Training CNNs for Image Registration from Few Samples with Model-based Data Augmentation

    In: Maxime Descoteaux; Lena Maier-Hein; Alfred Franz; Pierre Jannin; D. Louis Collins; Simon Duchesne (Hrsg.). Medical Image Computing and Computer Assisted Intervention (MICCAI 2017). Medical Image Computing and Computer Assisted Intervention (MICCAI-2017), September 10-14, Quebec City, Quebec, Canada, Pages 223-231, ISBN 978-3-319-66182-7, Springer International Publishing, 2017.

  7. Hans-Wolfgang Micklitz; Lucia Reisch; Gesche Joost; Helga Zander-Hayat (Hrsg.)

    Verbraucherrecht 2.0 - Verbraucher in der digitalen Welt

    ISBN 9783848741878, Nomos, 2017.

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

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

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