Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2005
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 327

  1. Thomas Kieninger; Andreas Dengel

    Vom RoboCup zur Soccer Jukebox

    Modelierung im interdisziplinären Studienprogramm (MISP), 2005.

  2. Josenildo Costa da Silva; Matthias Klusch

    Inference and Distributed Data Clustering

    In: P. Perner; A. Imiya (Hrsg.). Machine Learning and Data Mining in Pattern Recognition. International Conference on Machine Learning and Data Mining …

  3. John Kelleher; Geert-Jan Kruijff

    A context-dependent model of proximity in physically situated environments.

    In: Valia Kordoni; Aline Villavicencio (Hrsg.). Proceedings of the 2nd ACL-Sigsem Workshop on The Linguistic Dimensions of Prepositions and their Use …

  4. John Kelleher; Geert-Jan Kruijff

    A context-dependent algorithm for generating locative expressions in physically situated environments.

    In: Chris Mellish; Ehud Reiter; Kristiina Jokinen; Graham Wilcock (Hrsg.). Processdings of the 10th European Workshop on Natural Language Generation. …

  5. Dieter Hutter; Werner Stephan

    A Portrait of a Scientist: Logics, AI and Politics

    In: Festschrift in Honor of J.H.~Siekmann. Pages 1-14, Springer-Verlag, LNCS 2605, 2005.

  6. Serge Autexier; Dieter Hutter

    Mind the Gap - Maintaining Formal Developments in MAYA

    In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.

  7. Alan Bundy; David Basin; Dieter Hutter; Andrew Ireland

    Rippling: Meta-level Guidance for Mathematical Reasoning

    Cambridge University Press, 2005.

  8. Dieter Hutter; Werner Stephan

    Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann

    Springer-Verlag, LNCS 2605, 2005.

  9. Dieter Hutter; Markus Ullmann (Eds.)

    Proceedings of the Second International Conference on Security in Pervasive Computing

    Springer-Verlag, LNCS 3450, Boppard, Germany, 2005.

  10. Florian Kupsch; Dirk Werth

    Integrating Business Processes with Peer-to-Peer technology

    In: INTEROP ESA Conference, Geneva. INTEROP ESA Conference, 2005.

Jahr