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 61 bis 70 von 377
  1. Daniel Hausmann; Till Mossakowski; Lutz Schröder

    A Coalgebraic Approach to the Semantics of the Ambient Calculus

    In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.

  2. Thomas Röfer; Jörg Brose; Eike Carls; Jan Carstens; Daniel Göhring; Matthias Jüngel; Tim Laue; Tobias Oberlies; Sven Oesau; Max Risler; Michael Spranger; Christian Werner; Jörg Zimmer

    GermanTeam 2006

    In: G. Lakemeyer; E. Sklar; D. Sorrenti; T. Takahashi (Hrsg.). RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup International Symposium …

  3. Sergey Goncharov; Lutz Schröder; Till Mossakowski

    Completeness of Global Evaluation Logic

    In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of …

  4. Udo Frese; Lutz Schröder

    Closing a Million-Landmarks Loop

    In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Beijing. IEEE/RSJ International Conference on Intelligent …

  5. Lassaad Cheikhrouhou; Georg Rock; Werner Stephan; Matthias Schwan; Gunter Lassmann

    Verifying a Chipcard-Based Biometric Identification Protocol in {VSE}

    In: Computer Safety, Reliability, and Security, 25th International Conference. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-06), …

  6. 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), …

  7. Two-Layered Speaker Classification Using Dynamic Bayesian Networks

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

  8. Automatic Recognition of Speakers Age and Gender on the Basis of Empirical Studies

    In: Proceedings of the 9th International Conference on Spoken Language Processing. Conference in the Annual Series of Interspeech Events …

  9. H. Schuldt; R. Möller; Matthias Klusch; Andreas Gerber

    Next Generation Applications in Healthcare Digital Libraries using Semantic Service Composition and Coordination

    In: R. Procter; P. A. Bath (Hrsg.). Health Informatics Journal, Vol. 12, Pages 107-119, SAGE publications, 2006.

  10. Josenildo Costa da Silva; Matthias Klusch

    Inference on Distributed Data Clustering

    In: B. Grabot (Hrsg.). International Journal Engineering Applications of Artificial Intelligence, Vol. 19, No. 4, Pages 363-369, Elsevier Science …