Skip to main content Skip to main navigation

Publications

Displaying results 81 to 90 of 506.
  1. Andrea Kohlhase

    MS PowerPoint Use from a Micro-Perspective

    In: Proceedings of the World Conference on Educational Multimedia, Hypermedia and Telecommunications 2008. World Conference on Educational Multimedia …

  2. Michael Wünstel; Thomas Röfer

    Multi-Modal Scene Interpretation

    In: Sabine Timpf (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" …

  3. Joana Hois; Michael Wünstel; John A. Bateman; Thomas Röfer

    Dialog-Based 3D-Image Recognition Using a Domain Ontology

    In: Thomas Barkowsky; Markus Knauff; Gérard Ligozat; Daniel R. Montello (Hrsg.). Spatial Cognition V: Reasoning, Action, Interaction, International …

  4. David Becker; Jörg Brose; Daniel Göhring; Matthias Jüngel; Max Risler; Thomas Röfer

    GermanTeam 2008

    In: Luca Iocchi; Hitoshi Matsubara; Alfredo Weitzenfeld; Changjiu Zhou (Hrsg.). RoboCup 2008: Robot Soccer World Cup XII Preproceedings. RoboCup …

  5. David Aspinall; Ewen Denney; Christoph Lüth

    A Tactic Language for Hiproofs

    In: Serge Autexier; J. Campbell; J. Rubio (Hrsg.). 7th International Conference on Mathematical Knowledge Management (MKM 2007). International …

  6. Frank Dylla; Alexander Ferrein; Gerhard Lakemeyer; Jan Murray; Oliver Obst; Thomas Röfer; Stefan Schiffer; Frieder Stolzenburg; Ubbo Visser; Thomas Wagner

    Approaching a formal soccer theory from behaviour specifications in robotic soccer

    In: Peter Dabnicki; Arnold Baca (Hrsg.). Computers in Sports. Pages 161-186, WIT Press; www.witpress.com, 2008.

  7. Corina Cirstea; Alexander Kurz; Dirk Pattinson; Lutz Schröder; Yde Venema

    Modal logics are coalgebraic

    In: Samson Abramsky; Vladimiro Sassone (Hrsg.). Visions of Computer Science. BCS International Academic Conference (BCS-08), September 22-24, London, …

  8. Oliver Birbach; J. Kurlbaum; Tim Laue; Udo Frese

    Tracking of Ball Trajectories with a Free Moving Camera-Inertial Sensor

    In: Proceedings of the RoboCup International Symposium, Suzhou. RoboCup International Symposium (RoboCup), located at The 12th RoboCup International …

  9. Gil Francopoulo; Thierry Declerck; Virach Sornlertlamvanich; Eric de la Clergerie; Monica Monachini

    Data Category Registry: morpho-syntactic and syntactic profiles

    In: Andreas Witt; Felix Sasaki; Elke Teich; Nicoletta Calzolari; Peter Wittenburg (Hrsg.). Proceedings of the LREC 2008 Workshop "Uses and usage of …

  10. Matthias Deller; Peter Dannenmann; Achim Ebert; Gerd Reis; Daniel Steffen

    Stereoscopic 3D Views with In-Place 2D Overlays for a Medical Tutoring System

    In: Proceedings of IEEE Visualization Conferences 2008 (VisWeek 2008). IEEE Visualization Conference (IEEE Vis-2008), October 19-24, Columbus, OH, …