Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 90.
  1. Dennis Walter; Lutz Schröder; Till Mossakowski

    Parametrized Exceptions

    In: Jose Fiadeiro; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  2. Daniel Hausmann; Till Mossakowski; Lutz Schröder

    Towards a Coalgebraic Approach to the Semantics of the Ambient Calculus

    In: Jose Fiadeiro; Neil Harman; Markus Roggenbach; Jan Rutten (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra …

  3. Estimating the Acoustic Context to Improve Speaker Classification

    In: Modeling and Using Context - International and Interdisciplinary Conference. Modeling and Using Context - International and Interdisciplinary …

  4. David Aspinall; Christoph Lüth; Burkhart Wolff

    Assisted Proof Document Authoring

    In: Michael Kohlhase (Hrsg.). 4th International Conference on Mathematical Knowledge Management (MKM 2005). International Conference on Mathematical …

  5. Mohammed Ahmed; Othman E. Abdel-Rahman; Ibrahim E. Ziedan

    Design of a Computer Algorithm for Fine-Tuning of Adaptive Controllers

    In: Advanced Trends in Engineering. Minia International Conference for Advanced Trends in Engineering (MICATE-2005), 3rd, April 3-4, Minia, Egypt, …

  6. Armin Stahl; Martin Schaaf; Ralph Traphöner (Hrsg.)

    Professional Knowledge Management

    German Workshop on Experience Management (GWEM-2005), 3rd, located at In conjunction with the WM 2005, April 10-13, Kaiserslautern, Germany, ISBN …

  7. Gregor Erbach; Mitja Jermol; Brigitte Jörg; Hans Uszkoreit; Marko Grobelnik

    Network Approaches to Current Research Information Systems.

    In: Paul Cunningham; Miriam Cunningham (Hrsg.). Innovation and the Knowledge Economy: Issues, Applications, Case Studies, Volume 2. ISBN ISBN: …

  8. Berthold Crysmann

    Hausa Final Vowel Shortening --- Phrasal Allomorphy or Inflectional Category?

    In: Geert Booij; Emiliano Guevara; Angela Ralli; Salvatore Sgroi; Sergio Scalise (Hrsg.). Morphology and Linguistic Typology: On-line Proceedings of …

  9. Paul Buitelaar; Michael Sintek; Malte Kiesel

    Feature Representation for Cross-Lingual, Cross-Media Semantic Web Applications

    In: Thierry Declerck; Siegfried Handschuh (Hrsg.). Workshop on Knowledge Markup and Semantic Annotation (SemAnnot2005). Workshop on Knowledge Markup …