Speech and Language Technology

Page 3 of 6.

1. Christoph Lüth; Rolf Drechsler

   Assistenzsysteme der Zukunft – Nutzen und Potenzial künstlicher Intelligenz

   In: Henning Lühr. Brauchen wir eine neue Staatskunst?. Pages 42-47, Kellner, 2019.

2. Rolf Drechsler; Christoph Lüth; Goerschwin Fey; Tim Güneysu

   Towards Self-Explaining Digital Systems: A Design Methodology for the Next Generation

   In: 3rd International Verification and Security Workshop (IVSW). International Verification and Security Workshop (IVSW-03), July 2-4, Platja d'Aro, …

3. Christoph Lüth; Martin Ring; Rolf Drechsler

   Towards a Methodology for Self-Verification

   In: Sunil Khatri (Hrsg.). 6th International Conference on Reliability, Infocom Technologies and Optimization (ICRITO 2017). IEEE Conference on  …

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 …

5. Tim Schwartz; Michael Feld; Christian Bürckert; Svilen Dimitrov; Joachim Folz; Peter Hevesi; Dieter Hutter; Bernd Kiefer; Hans-Ulrich Krieger; Christoph Lüth; Dennis Mronga; Gerald Pirkl; Torsten Spieldenner; Malte Wirkus; Ingo Zinnikus; Sirko Straube

   Hybrid Teams of Humans, Robots and Virtual Agents in a Production Setting

   In: Proceedings of the 12th International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-16), 12th, …

6. Tim Schwartz; Hans-Ulrich Krieger; Ingo Zinnikus; Christian Bürckert; Joachim Folz; Bernd Kiefer; Peter Hevesi; Christoph Lüth; Gerald Pirkl; Torsten Spieldenner; Norbert Schmitz; Malte Wirkus; Sirko Straube

   Hybrid Teams: Flexible Collaboration Between Humans, Robots and Virtual Agents

   In: Matthias Klusch; Rainer Unland; Onn Shehory; Alexander Pokhar; Sebastian Ahrndt (Hrsg.). Proceedings of the 14th German Conference on Multiagent …

7. Martin Ring; Christoph Lüth; Rolf Drechsler; Jannis Ulrich Stoppe

   Change Management for Hardware Designers

   In: 3rd Workshop on Design Automation for Understanding Hardware Designs (DUHDe 2016). Workshop on Design Automation for Understanding Hardware …

8. Rolf Drechsler; Serge Autexier; Christoph Lüth

   Model-based Specification and Refinement for Cyber-Physical Systems

   In: Michael Freitag; Herbert Kotzab; Jürgen Pannek (Ed) (Hrsg.). 5th International Conference on Dynamics in Logistics (LDIC 2016). International …

9. Martin Ring; Jannis Ulrich Stoppe; Christoph Lüth; Rolf Drechsler

   Change Impact Analysis for Hardware Designs

   In: Forum on Specification & Design Languages FDL 2016. Forum on Specification & Design Languages (FDL-2016), September 14-16, Bremen, Germany, ECSI - …

10. Martin Ring; Christoph Lüth

    Real-time collaborative Scala development with Clide

    In: Heather Miller; Philipp Haller (Hrsg.). Proceedings of the Fifth Annual Scala Workshop. Scala Workshop (Scala-14), 5th Annual Scala Workshop, …

• previous
• 1
• …
• 2
• 3
• 4
• …
• 6
• next