Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 506
  1. Marco Lohse; Florian Winter; Michael Repplinger; Philipp Slusallek

    Network-Integrated Multimedia Middleware (NMM)

    In: Proceedings of ACM Multimedia 2008 (ACM MM 2008). ACM International Conference on Multimedia (ACM MM-08), October 26-31, Vancouver, Canada, …

  2. Iliyan Georgiev; Dmitri Rubinstein; Hilko Hoffmann; Philipp Slusallek (Hrsg.)

    Real Time Ray Tracing on Many-Core-Hardware

    Intuition International Conference (INTUITION-2008), Virtual Reality in Industry and Society: From Research to Application, 5th, October 6-8, Turin, …

  3. Jakob Schwendner

    Homography Based State Estimation for Aerial Robots

    In: Andreas Dengel; Karsten Berns; Thomas Breuel; Frank Bomarius; Thomas Roth-Berghofer (Hrsg.). Proceedings of the 31st Annual German conference on …

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

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

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

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

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

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

  10. Adrian Ulges; Christian Schulze; Thomas Breuel

    Multiple Instance Learning on Weakly Labeled Videos

    In: Workshop on Cross-Media Information Analysis, Extraction and Management. Workshop on Cross-Media Information Analysis, Extraction and Management, …