Publikationen

Till Mossakowski; A. Haxthausen; D. Sannella; A. Tarlecki

In: D. Bjorner; M. Henson (Hrsg.). Logics of Formal Specification Languages. Chapter 3, Pages 241-298, Monographs in Theoretical Computer Science, …

Katrina Leyking

In: K. Maillet; T. Klobucar; D. Gillet; R. Klamma (Hrsg.). Proceedings of the EC-TEL 2007 PROLEARN Doctoral Consortium at (EC-TEL-2007), September 18, …

Óscar Martínez Mozos; Patric Jensfelt; Hendrik Zender; Geert-Jan Kruijff; Wolfram Burgard

In: Z. Zivkovic; J. Kosecka (Hrsg.). Proceedings of the IROS 2007 Workshop: From Sensors to Human Spatial Concepts (FS2HSC). IROS Workshop: From …

Katrina Leyking; Pavlina Chikova; Peter Loos

In: Wirtschaftsinformatik, Vol. 49, No. 5, Pages 394-401, 2007.

Alexander Kröner; Nathalie Basselin; Michael Schneider; J. Mori

In: J. Hertzberg; M. Beetz; R. Englert (Hrsg.). KI 2007: Advances in Artificial Intelligence. 30th Annual German Conference on Artificial Intelligence …

Martin Krämer; Hagen Kaprykowsky; Daniel Keysers; Thomas Breuel

In: Proceedings of the 9th Conference on Document Analysis and Recognition (ICDAR-2007), September 23-26, Curitiba, Brazil. International Conference …

Christian Kofler; Daniel Keysers; A. Koetsier; J. Laagland; Thomas Breuel

In: Proceedings of the 2nd International Workshop on Camera-Based Document Analysis and Recognition (CBDAR-2007) at (ICDAR-2007), September 22, …

Matthias Klusch; René Schubotz

In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics (SMC-2007), October 7-10, Montreal, QC, Canada. IEEE …

Daniel Keysers; Marius Renn; Thomas Breuel

In: Proceedings of the 9th International ACM SIGACCESS Conference on Computers and Accessibility (ASSETS-2007), October 15-17, Tempe, AZ, USA. …

D. Giampiccolo; A. Penas; C. Ayache; D. Cristea; P. Forner; V. Jijkoun; P. Osenva; P. Rocha; Bogdan Sacaleanu; R. Sutcliffe

In: A. Nardi; C. Peters (Hrsg.). CLEF 2007 Working Notes. Conference and Labs of the Evaluation Forum (CLEF), Online-Proceedings, 9/2007.