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 …
M. Wolpers; Gunnar Martin; E. Duval
In: K. Tochtermann; H. Maurer (Hrsg.). Proceedings of the 7th International Conference on Knowledge Management (I-KNOW-2007), September 5-7, Graz, …
Rui Wang; Günter Neumann
In: A. Nardi; C. Peters (Hrsg.). Online proceedings of CLEF 2007 Working Notes. Conference and Labs of the Evaluation Forum (CLEF), …
