Publikationen

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

John Kelleher; Fintan Costello

Cognitive Representations of Projective Prepositions

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

Gerd Reis

Non-manifold Mesh Extraction from Segmented Volumes used for Modelling a Human Heart

In: Proceedings of EUR OGRAPHICS - IEEE VGTC Symposium on Visualization 2005. Eurographics (EG), 2005.

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, …

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.

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.

Alan Bundy; David Basin; Dieter Hutter; Andrew Ireland

Rippling: Meta-level Guidance for Mathematical Reasoning

Cambridge University Press, 2005.

Dieter Hutter; Werner Stephan

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

Springer-Verlag, LNCS 2605, 2005.

Dieter Hutter; Markus Ullmann (Eds.)

Proceedings of the Second International Conference on Security in Pervasive Computing

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

Florian Kupsch; Dirk Werth

Integrating Business Processes with Peer-to-Peer technology

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