Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2008
Remove all filters
Displaying results 101 to 110 of 506.

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

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

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

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

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

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

  7. Sandro Castronovo; Jochen Frey; Peter Poller

    A generic layout-tool for summaries of meetings in a constraint-based approach

    In: Andrei Popescu-Bells; Rainer Stiefelhagen (Hrsg.). Machine Learning for Multimodal Interaction. Machine Learning and Multimodal Interaction …

  8. Sebastian Germesin; Tilman Becker; Peter Poller

    Hybrid Multi-Step Disfluency Detection

    In: Andrei Popescu-Belis; Rainer Stiefelhagen (Hrsg.). Machine Learning for Multimodal Interaction. Machine Learning and Multimodal Interaction …

  9. Klaus-Peter Engelbrecht; Michael Kruppa; Sebastian Möller; Michael Quade

    MeMo Workbench for Semi-Automated Usability Testing

    In: Proceedings of the 9th Conference in the Annual Series of Interspeech Events. Conference in the Annual Series of Interspeech Events (INTERSPEECH), …

  10. Sebastian Feuerstack; Marco Blumendorf; Maximilian Kern; Michael Kruppa; Michael Quade; Mathias Runge

    Automated Usability Evaluation during Model-based Interactive System Development

    In: P. Forbrig; F. Paterno (Hrsg.). Engineering Interactive Systems 2008: 2nd Conference on Human-Centered Software Engineering (HCSE- 2008) and 7th …

Year