Skip to main content Skip to main navigation

Publications

Displaying results 1431 to 1440 of 15191.

  1. Mihaela Vela; Thierry Declerck

    Concept and Relation Extraction in the Finance Domain

    In: H. Bunt; V. Petukhova; S. Wubben (Hrsg.). IWCS-8 '09: Proceedings of the Eighth International Conference on Computational Semantics. International Conference on Computational Semantics (IWCS-8), January 7-9, Tilburg, Netherlands, Pages 346-351, ISBN 978-90-74029-34-6, Tilburg University, 1/2009.

  2. Gerrit Meixner; Daniel Görlich

    Unterstützung des Useware-Engineering Prozesses durch den Einsatz einer modellbasierten Werkzeugkette

    In: atp - Automatisierungstechnische Praxis, Vol. 12/2008, Pages 44-48, Oldenbourg Verlag, 12/2008.

  3. Dimitris Bibikas; Dimitrios Kourtesis; Iraklis Paraskakis; Ansgar Bernardi; Leo Sauermann; Dimitris Apostolou; Gregoris Mentzas; Ana Cristina Vasconcelos

    A Sociotechnical Approach to Knowledge Management in the Era of Enterprise 2.0: the Case of OrganiK

    In: Dominik Flejter; Tomasz Kaczmarek; Marek Kowalkiewicz (Hrsg.). Scalable Computing: Practice and Experience, Scientific International Journal for Parallel and Distributed Computing (SCPE), Vol. 9, No. 4, Pages 315-327, Universität Salzburg & Universitatea de Vest din Timisoara, Salzburg, 12/2008.

  4. Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow

    Special Issue on Formal Modeling and Verification of Critical Systems

    In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Journal of Automated Reasoning, Springer Netherlands, 12/2008.

  5. Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Jan Schehl; Verena Rieser

    Presentation Strategies for Flexible Multimodal Interaction with a Music Player

    In: Claire Gardent; Bertrand Gaiffe (Hrsg.). Proceedings of DIALOR'05. Workshop Series on the Semantics and Pragmatics of Dialogue (SEMDIAL-05), 9th, June 9-11, Nancy, France, 2005.

  6. Peter Poller

    Centrally Managed System Infrastructure and Integration in COMIC

    In: Aaron Quigley; K.P. Fishkin; B. Schiele; P. Nixon (Hrsg.). Pervasive 2006 Workshop Proceedings. International Conference on Pervasive Computing (Pervasive-2006), 4th, May 7-10, Dublin, Ireland, Pages 587-594, Lecture Notes in Computer Science (LNCS), Vol. 3968, ISBN 3-00-018411-2, Springer, 2006.

  7. Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Verena Rieser; Jan Schehl

    The SAMMIE corpus of multimodal dialogues with an MP3 player

    In: Proceedings of The 5th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2006), 5th, May 22-28, Genoa, Italy, Pages 2018-2023, ISBN 2-9517408-2-4, ELDA, 2006.

  8. Eyad Alkassar; Mark Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin

    The Verisoft Approach to Systems Verification

    In: Natarajan Shankar; Jim Woodcock (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, Tools, Experiments (VSTTE-08), Second International Conference, October 6-9, Toronto, ON, Canada, Pages 209-224, Lecture Notes in Computer Science (LNCS), Vol. 5295, ISBN 978-3-540-87872-8, Springer, 2008.

  9. Eyad Alkassar; Mark Hillebrand

    Formal Functional Verification of Device Drivers

    In: Jim Woodcock; Natarajan Shankar (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, Tools, Experiments (VSTTE-08), Second International Conference, October 6-9, Toronto, ON, Canada, Pages 225-239, Lecture Notes in Computer Science (LNCS), Vol. 5295, ISBN 978-3-540-87872-8, Springer, 2008.

  10. Adrian Ulges; Markus Koch; Christian Schulze; Thomas Breuel

    Learning TRECVID'08 High-level Features from YouTube

    TREC Workshop 2008 on Video Retrieval Evaluation (TRECVID-2008), NIST, 11/2008.

Year

More options