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 81 bis 90 von 377
  1. Ralf Jung; Dominikus Heckmann

    Ambient Audio Notification with Personalized Music

    In: Workshop on Ubiquitous User Modeling. Workshop on Ubiquitous User Modeling (UbiqUM-06), Ubiquitous User Modeling, located at ECAI 2006, August 28, …

  2. Till Mossakowski

    Hets User Guide

    Department of Computer Science; Universität Bremen, o.A. 2006.

  3. Till Mossakowski

    Monad-Based Logics for Computational Effects

    In: M. Johnson; V. Vene (Hrsg.). AMAST 2006. International Conference on Algebraic Methodology and Software Technology (AMAST-06), 11th, July 5-8, …

  4. Till Mossakowski

    Institutional 2-cells and Grothendieck institutions

    In: K. Futatsugi; J.-P. Jouannaud; J. Meseguer (Hrsg.). Algebra, Meaning and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His …

  5. Maksym Bortin; Einar Broch Johnsen; Christoph Lüth

    Structured Formal Development in Isabelle

    In: Nordic Journal of Computing, Vol. 13, Pages 1-20, 2006.

  6. Michael Kruppa

    Migrating Characters: Effective User Guidance in Instrumented Environments

    ISBN 3-89838-301-6, Akademische Verlagsgesellschaft Aka GmbH, 2006.

  7. Kai Hübner

    Symmetriesignaturen für bildbasierte Anwendungen in der Robotik

    BISS Monographs, Vol. 24, ISBN 978-3-8325-1455-6, Logos Verlag; www.logos-verlag.de, Berlin, 2006.

  8. Tania Avgustinova

    A Functional Typology of Copular "be": Towards an HPSG Formalisation

    In: Proceedings of the 13th International Conference on Head-Driven Phrase Structure Grammar. Pages 27-38, CSLI Publications, 2006.

  9. Joachim Stegmann; Felix Burkhardt; Frank Oberle; Martin Eckert; Roman Englert; Christian Müller

    Einsatz der Sprecherklassifizierung in Sprachdialogsystemen [Application of Speaker Classification in Speech-based Dialog Systems]

    In: Tagungsband der 7. ITG-Fachtagung Sprachkommunikation [Proceedings of the 7th ITG-Conference on Speech Communication]. GI/ITG-Fachgespräch (FBT), …

  10. Two-Layered Speaker Classification Using Dynamic Bayesian Networks

    In: Proceedings of the IASTED International Conference on Computational Intelligence. IASTED International Conference on Computational Intelligence …