Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 101 bis 110 von 506.
  1. 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 Conference on Mathematical Knowledge Management (MKM-2007), located at Conferences on Intelligent Computer Mathematics (CICM 2008), July 28 - August 1, Birmingham, United Kingdom, Pages 339-354, Lecture Notes in Computer Science (LNCS), Vol. 5144, Springer, 2008.

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

  3. 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, United Kingdom, Pages 129-140, ISBN 978-1-906124-08-3, BCS, 2008.

  4. 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 Competitions and Conferences, RoboCup-2008 Suzhou, July 15-18, Suzhou, China, 2008.

  5. 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 language resource-related standards". International Conference on Language Resources and Evaluation (LREC-08), 6th, located at the 6th edition of the Language Resources and Evaluation Conference, May 27-30, Marrakech, Morocco, ELRA/ELDA, 5/2008.

  6. 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, USA, IEEE, 2008.

  7. Rui Wang; Yajing Zhang

    Recognizing Textual Entailment with Temporal Expressions in Natural Language Texts

    In: Proceedings of the IWSCA-2008. IEEE International Workshop on Semantic Computing and Applications (IWSCA-2008), July 10-11, Incheon, Korea, Republic of, Pages 109-116, IEEE Computer Society, 2008.

  8. Andrei Popescu-Belis; Erik Boertjes; Jonathan Kilgour; Peter Poller; Sandro Castronovo; Theresa Wilson; Alejandro Jaimes; Jean Carletta

    The AMIDA Automatic Content Linking Device: Just-in-Time Document Retrieval in Meetings

    In: Andrei Popescu-Belis; Rainer Stiefelhagen (Hrsg.). Machine Learning for Multimodal Interaction. Machine Learning and Multimodal Interaction (MLMI-08), 5th International Workshop, September 8-10, Utrecht, Netherlands, Pages 272-283, Lecture Notes in Computer Science (LNCS), No. 5237, ISBN 978-3-540-85852-2, Springer, Heidelberg, 2008.

  9. Gabriel Murray; Thomas Kleinbauer; Peter Poller; Steve Renals; Jonathan Kilgour; Tilman Becker

    Extrinsic Summarization Evaluation: A Decision Audit Task

    In: Andrei Popescu-Belis; Rainer Stiefelhagen (Hrsg.). Machine Learning for Multimodal Interaction. Machine Learning and Multimodal Interaction (MLMI), 5th International Workshop, MLMI 2008, September 8-10, Utrecht, Netherlands, Pages 349-361, Lecture Notes in Computer Science (LNCS), Vol. 5237, ISBN 978-3-540-85852-2, Springer, Heidelberg, 2008.

  10. 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 (MLMI-2008), 5th International Workshop, September 8-10, Utrecht, Netherlands, Pages 248-259, Lecture Notes in Computer Science (LNCS), Vol. 5237, ISBN 978-3-540-85852-2, Springer, Heidelberg, 2008.