Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2007
Alle Filter entfernen
Zeige Ergebnisse 111 bis 120 von 370

  1. N. Hawes; A. Sloman; J. Wyatt; M. Zillich; Henrik Jacobsson; Geert-Jan Kruijff; M. Brenner; G. Berginc; D. Skocaj

    Towards an integrated robot with multiple cognitive functions

    In: Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-07). AAAI Conference on Artificial Intelligence (AAAI), Vancouver, Canada, …

  2. Geert-Jan Kruijff; Maria Staudte

    Producing believeable robot gaze when comprehending visually situated dialogue

    In: Language and Robots: Proceedings from the Symposium (LangRo'2007). Symposium on Language and Robots (LangRo), Aveiro, Portugal, University of …

  3. Geert-Jan Kruijff; Pierre Lison; Trevor Benjamin; Henrik Jacobsson; N. Hawes

    Incremental, multi-level processing for comprehending situated dialogue in human-robot interaction

    In: Language and Robots: Proceedings from the Symposium (LangRo'2007). Symposium on Language and Robots (LangRo), Aveiro, Portugal, University of …

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

    From Labels to Semantics: An Integrated System for Conceptual Spatial Representations of Indoor Environments for Mobile Robots

    In: Proceedings of the IEEE ICRA-07 Workshop: Semantic Information in Robotics. ICRA Workshop: Semantic Information in Robotics, located at ICRA-07, …

  5. Rui Wang; Günter Neumann

    Recognizing Textual Entailment Using a Subsequence Kernel Method

    In: In Proceedings of AAAI. AAAI Conference on Artificial Intelligence (AAAI), AAAI, 2007.

  6. Alejandro Figueroa; Günter Neumann

    Identifying Protein-Protein interactions in Biomedical publications.

    In: Workshop Proceedings of the BioCreAtIvE Challenge - Critical Assessment of Information Extraction in Molecular Biology. BioCreative Workshop, …

  7. Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

    Deep Inference for Automated Proof Tutoring?

    In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

  8. Roy McCasland; Alan Bundy; Serge Autexier

    Automated Discovery of Inductive Theorems

    In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 135-150, Studies in Logic, Grammar and …

  9. Jörg Siekmann; Serge Autexier

    Computer Supported Formal Work: Towards a Digital Mathematical Assistant

    In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and …

  10. Matthias Deller; Achim Ebert; Michael Bender; Stefan Agne; Henning Barthel

    Preattentive visualization of information relevance

    In: HCM '07: Proceedings of the international workshop on Human-centered multimedia. International Workshop on Human-centered Multimedia (HCM), Pages …

Jahr