Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 121 bis 130 von 504
  1. Hoang M. Le; Daniel Große; Rolf Drechsler; Vladimir Herdt

    Verifying SystemC using an Intermediate Verification Language and Symbolic Simulation

    In: Design Automation Conference. Design Automation Conference (DAC-13), June 2-6, Austin, TX, USA, IEEE, 2013.

  2. Stefan Bosse; Frank Kirchner

    Autonomie und Robustheit in Verteilten Cyber-Physical Systems und Sensorischen Materialien mit Methoden der Künstlichen Intelligenz

    In: Industrie Management - Zeitschrift für industrielle Geschäftsprozesse (IM), Vol. 1/2013, Pages 24-28, Gito mbH Verlag für Industrielle …

  3. Stefan Bosse; Florian Pantke; Stefan Edelkamp

    Robot Manipulator with emergent Behaviour supported by a Smart Sensorial Material and Agent Systems

    In: Proceedings of the Smart Systems Integration Conference SSI 2013, Topic 5, Sensor Networks. Smart Systems Integration - European Conference and …

  4. Markus Goldstein; Stefan Asanger; Matthias Reif; Andrew Hutchinson

    Enhancing Security Event Management Systems with Unsupervised Anomaly Detection

    In: Proceedings of the 2nd International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition …

  5. Geert-Jan Kruijff

    Trusting in Human-Robot Teams Given Asymmetric Agency and Social Sentience

    In: Proceedings of the 2013 AAAI Spring Symposium on Trust and Autonomous Systems. AAAI Spring Symposium (AAAI SSS-2013), March 25-27, Stanford, CA, …

  6. Nabila Abdessaied; Mathias Soeken; Robert Wille; Rolf Drechsler

    Exact Template Matching Using Boolean Satisfiability

    In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), …

  7. Robert Wille; Hongyan Zhang; Rolf Drechsler

    Fault Ordering for Automatic Test Pattern Generation of Reversible Circuits

    In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), …

  8. Laura Tague; Mathias Soeken; Shin-ichi Minato; Rolf Drechsler

    Debugging of Reversible Circuits using πDDs

    In: Proceedings of the 43rd International Symposium on Multiple-Valued Logic. IEEE International Symposium on Multiple-Valued Logic (ISMVL-2013), …

  9. Ulrich Schäfer; Bernd Kiefer; Christian Spurk; Jörg Steffen; Rui Wang; Benjamin Weitz; Magdalena Wolska

    The Searchbench - Combining Sentence-semantic, Full-text and Bibliographic Search in Digital Libraries

    In: LIBER quarterly, Vol. 22, No. 4, Pages 285-309, Association of European Research Libraries, 2/2013.

  10. Constantin Houy; Tim Niesen; Peter Fettke; Peter Loos

    Towards Automated Identification and Analysis of Argumentation Structures in the Decision Corpus of the German Federal Constitutional Court

    In: 7th IEEE International Conference on Digital Ecosystems and Technologies. Special Theme - Smart Planet and Cyber Physical Systems as Embodiment of …