Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 211 bis 220 von 540
  1. Fabian Quint

    Mobile Assistenzsysteme für einen vereinfachten Wissensaustausch - Anforderungen & Lösungsansätze aus der Praxis im Projekt AmbiWise

    1. Wissensmanagement-Tagen für Industrie und Produktion 4.0 , Stuttgart, 6/2015.

  2. Rolf Drechsler; Martin Fränzle; Robert Wille

    Envisioning Self-Verification of Electronic Systems

    In: 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Symposium on Reconfigurable Communication-centric …

  3. Rolf Drechsler; Ulrich Kühne

    Formal Modeling and Verification of Cyber-Physical Systems

    In: Rolf Drechsler; Ulrich Kühne. Formal Modeling and Verification of Cyber-Physical Systems. Springer, 2015.

  4. Philipp Niemann; Robert Wille; D. Michael Miller; Mitchell A. Thornton; Rolf Drechsler

    QMDDs: Efficient Quantum Function Representation and Manipulation

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2015.

  5. Mathias Soeken; Robert Wille; Oliver Keszöcze; D. Michael Miller; Rolf Drechsler

    Embedding of Large Boolean Functions for Reversible Logic

    In: Journal on Emerging Technologies in Computing Systems (JETC), 2015.

  6. Jan Sutter; Kristian Sons; Philipp Slusallek

    A CSS Integration Model for Declarative 3D

    In: Proceedings of the 20th International Conference on 3D Web Technology. ACM International Conference on 3D Web Technology (Web3D-15), 20th …

  7. Christian Bailer; Bertram Taetz; Didier Stricker

    Flow Fields: Dense Correspondence Fields for Highly Accurate Large Displacement Optical Flow Estimation

    In: Proceedings - 2015 IEEE International Conference on Computer Vision. International Conference on Computer Vision (ICCV-15), December 13-16, …

  8. Paul Lubos; Oscar Ariza; Gerd Bruder; Florian Daiber; Frank Steinicke; Antonio Krüger

    HoverSpace

    In: Human-Computer Interaction - INTERACT 2015. IFIP Conference on Human-Computer Interaction (INTERACT-2015), Pages 259-277, Lecture Notes in …

  9. Piroska Lendvai; Thierry Declerck

    Similarity-Based Cross-Media Retrieval for Events

    In: Ralph Bergmann; Sebastian Görg; Gilbert Müller (Hrsg.). Proceedings of the LWA 2015 Workshops: KDML, FGWM, IR, and FGDB. GI-Workshop-Tage "Lernen, …

  10. Goncalo Antunes; Marzieh Bakhshandelh; Jose Borbinha; Joao Cardoso; Sharam Dadashnia; Chiara De Francescomarino; Mauro Gragoni; Peter Fettke; Avigdor Gal; Chiara Ghidini; Philip Hake; Abderrahmene Khiat; Christopher Klinkmüller; Elena Kuss; Henrik Leopold; Peter Loos; Christian Meilicke; Tim Niesen; Catia Pesquita; Timo Peus; Andreas Schoknecht; Eitam Sheetrit; Andreas Sonntag; Heiner Stickenschmidt; Tom Thaler; Ingo Weber; Matthias Weidlich

    The Process Matching Contest 2015

    In: Jens Kolb; Henrik Leopold; Jan Mendling (Hrsg.). Proceedings of the 6th International Workshop on Enterprise Modelling and Information Systems …