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 71 bis 80 von 393
  1. Dominik Dietrich; Ewaryst Schulz; Marc Wagner

    Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

    In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …

  2. Dominik Dietrich; Ewaryst Schulz

    CRStL: A Declarative Language for the Encoding of Proof Techniques

    In: Workshop on Programming Languages for Mechanized Mathematics Systems. Conferences on Intelligent Computer Mathematics (CICM-08), July 29, …

  3. Harm op den Akker; Christian Husodo Schulz

    Exploring Features and Classifiers for Dialogue Act Segmentation

    In: Machine Learning for Multimodal Interaction. Machine Learning and Multimodal Interaction (MLMI-08), 5th International Workshop, September 8-10, …

  4. Udo Frese; Tim Laue

    (A) VISION FOR 2050: The Road Towards Image Understanding for a Human-Robot Soccer Match

    In: Proceedings of the 5th International Conference on Informatics in Control, Automation and Robotics. International Conference on Informatics in …

  5. S. Huang; Z. Wang; G. Dissanayake; Udo Frese

    Iterated SLSJF: A Sparse Local Submap Joining Algorithm with Improved Consistency

    In: Proceedings of the Australasian Conference on Robotics and Automation. Australasian Conference on Robotics and Automation (ACRA-08), December 3-5, …

  6. M. Gissler; Udo Frese; M. Teschner

    Exact Distance Computation for Deformable Objects

    In: Proceedings of the Computer Animation and Social Agents 2008 Conference. Annual Conference on Computer Animation and Social Agents (CASA-2008), …

  7. Martin Klima; Miroslav Macik; Elena Urdaneta; Cristina Buiza; Eduardo Carrasco; Gorka Epelde; Jan Alexandersson

    User Interfaces for the Digital Home on the Basis of Open Industrial Standards

    In: Proceedings of AMIF 2008. Ambient Intelligence Forum (AMIF-2008), October 15-16, Hradec Králové, Czech Republic, 10/2008.

  8. Christian Müller; Joan-Isaac Biel; Edward Kim; Daniel Rosario

    Speech-overlapped Acoustic Event Detection for Automotive Applications

    In: Proceedings of the Interspeech 2008. Conference in the Annual Series of Interspeech Events (INTERSPEECH-2008), September 22-26, Brisbane, …

  9. Christian Müller; Joan-Isaac Biel

    The ICSI 2007 Language Recognition System

    In: Proceeedings of the Odyssey 2008 Workshop on Speaker and Language Recognition. Odyssey Workshop on Speaker and Language Recognition …

  10. Anthony Jameson; Jürgen Kiefer; Christian Müller; Frank Wittig; Ralf Rummer

    Assessment of a user's time pressure and cognitive load on the basis of features of speech

    In: M. Crocker; Jörg Siekmann (Hrsg.). Resource-adaptive cognitive systems. Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin - …