Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2005
Remove all filters
Displaying results 91 to 100 of 327.

  1. Geert-Jan Kruijff

    Context-sensitive utterance planning for CCG

    In: Proceedings of the European Workshop on Natural Language Generation. European Workshop on Natural Language Generation (ENLG), Aberdeen, ACL, 2005.

  2. 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 …

  3. 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. …

  4. Dieter Hutter

    Software Certification Management: How Can Formal Methods Help?

    In: Proceedings of the 2005 Automated Software Engineering Workshop on Software Certificate Management (SoftCeMent05). Automated Software Engineering …

  5. Fernando Godínez; Dieter Hutter; Raul Monroy

    On the Role of Information Compaction to Intrusion Detection

    In: Proceedings of the Fifth IEEE International Symposium and School on Advanced Distributed Systems, ISSADS 2005. IEEE International Symposium and …

  6. Fernando Godínez; Dieter Hutter; Raul Monroy

    Audit file reduction using n-gram models

    In: Proceedings of the Financial Cryptography and Data Security. Financial Cryptography and Data Security, Lecture Notes in Computer Science, …

  7. 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.

  8. 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.

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

    Rippling: Meta-level Guidance for Mathematical Reasoning

    Cambridge University Press, 2005.

  10. Dieter Hutter; Werner Stephan

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

    Springer-Verlag, LNCS 2605, 2005.

Year