Skip to main content Skip to main navigation

Publikationen

 

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

Zeige Ergebnisse 91 bis 100 von 370
  1. Henrik Jacobsson; Geert-Jan Kruijff; Maria Staudte

    Language Acquisition from Neural and Sensorimotor Systems

    In: Proceedings of the PASCAL workshop on Machine Learning and Cognitive Science of Language Acquisition. PASCAL Recognizing Textual Entailment …

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

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

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

  5. Gerd Reis; Bernd Lappé; Sascha Köhn; Christopher Weber; Martin Hering-Bertram; Hans Hagen

    Towards a Virtual Echocardiographic Tutoring System

    In: Lars Linsen; Hans Hagen; Bernd Hamann (Hrsg.). Visualization in Medicine and Life Sciences. Pages 99-119, Lecture Notes in Computer Science …

  6. Till Mossakowski; Andrzej Tarlecki; Razvan Diaconescu

    What is a logic translation?

    Pages 95-124, Logica Universalis, Vol. 3 (1), 2007.

  7. Thora Tenbrink; Hui Shi

    Negotiating Spatial Goals with a Wheelchair

    In: S. Keizer; H. Bunt; T. Paek (Hrsg.). Proceedings of the 8th SIGdial Workshop on Discourse and Dialogue. Annual SIGdial Meeting on Discourse and …

  8. Stefan Wölfl; Till Mossakowski; Lutz Schröder

    Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables

    In: David Wilson; Geoff Sutcliffe (Hrsg.). 20th International FLAIRS Conference. International FLAIRS Conference (FLAIRS-20), May 7-9, Key West, …

  9. Lutz Schröder; Dirk Pattinson

    Rank-1 Modal Logics are Coalgebraic

    In: Wolfgang Thomas; Pascal Weil (Hrsg.). Theoretical Aspects of Computer Science (STACS 07). International Symposium on Theoretical Aspects of …

  10. Lutz Schröder; Dirk Pattinson

    Modular Algorithms for Heterogeneous Modal Logics

    In: Lars Arge; Andrzej Tarlecki; Christian Cachin (Hrsg.). Automata, Languages and Programming. International Colloquium on Automata, Languages and …