Due to maintenance work, it is currently not possible to search for publications by author.
Steffen Planthaber; Ubbo Visser
In: RoboCup 2006: Robot Soccer World Cup X. RoboCup International Symposium (RoboCup), Pages 426-433, Lecture Notes in Computer Science, Vol. …
Ulrich Schäfer
Saarbrücken Dissertations in Computational Linguistics and Language Te, Vol. 22, ISBN 978-3-933218-21-6, DFKI GmbH and Computational Linguistics …
Matthias Deller; Achim Ebert; Michael Bender; Stefan Agne; Henning Barthel
In: HCM '07: Proceedings of the international workshop on Human-centered multimedia. International Workshop on Human-centered Multimedia (HCM), Pages …
Daniel Bahls; Thomas Roth-Berghofer
In: Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-2007), July 22-26, Vancouver, BC, Canada. AAAI Conference on Artificial …
Serge Autexier; A. Fiedler; T. Neumann; M. Wagner
In: M. Kauers; M. Kerber; R. Miner; W. Windsteiger (Hrsg.). Towards Mechanized Mathematical Assistants. International Conference on Mathematical …
Serge Autexier; C. Benzmüller (Hrsg.)
Workshop on User Interfaces for Theorem Provers (UITP-2006), August 21, Seattle, WA, USA, Electronic Notes in Theoretical Computer Science (ENTCS), …
Jan Alexandersson; Tilman Becker
In: H. Bunt; R. Muskens (Hrsg.). Computing Meaning. Pages 423-455, Studies in Linguistics and Philosophy, Vol. 83, Springer, Netherland, 2007.
Ingo Zinnikus; Christian Hahn; Michael Klein; Klaus Fischer
In: B. J. Krämer; K.-J. Lin; P. Narasimhan (Hrsg.). Proceedings of the 5th International Conference on Service-Oriented Computing. International …
Z. Zhang; Jörg Siekmann (Hrsg.)
International Conference on Knowledge Science, Engeneering and Management (KSEM-2007), November 28-30, Melbourne, Australia, LNCS, Vol. 4798, …
Hendrik Zender; Geert-Jan Kruijff
In: L. Seabra Lopes; T. Belpaeme; S.J. Cowley (Hrsg.). Language and Robots: Proceedings of the Symposium. Symposium on Language and Robots …