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 81 bis 90 von 609
  1. Mathias Soeken; Robert Wille; Christoph Hilken; Nils Przigoda; Rolf Drechsler

    Synthesis of Reversible Circuits with Minimal Lines for Large Functions

    In: Conference Proceedings. Asia and South Pacific Design Automation Conference (ASP-DAC-12), 17th, January 30 - February 2, Sydney, New South Wales, …

  2. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe

    A Proof Theoretic Interpretation of Model Theoretic Hiding

    In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

  3. Mihai Codescu; Fulya Horozal; Michael Kohlhase; Till Mossakowski; Florian Rabe; Kristina Sojakova

    Towards Logical Frameworks in the Heterogeneous Tool Set Hets

    In: Hans-Jörg Kreowski; Till Mossakowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

  4. Mihai Codescu

    Lambda Expressions in CASL Architectural Specifications

    In: Till Mossakowski; Hans-Jörg Kreowski (Hrsg.). Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development …

  5. Stephan Baumann; Rafael Schirru; Bernhard Streit

    Towards a Storytelling Approach for Novel Artist Recommendations

    In: Marcin Detyniecki; Peter Knees; Andreas Nürnberger; Markus Schedl; Sebastian Stober (Hrsg.). Adaptive Multimedia Retrieval. Context, Exploration, …

  6. Joost van Beusekom; Faisal Shafait; Thomas Breuel

    Text-line examination for document forgery detection

    In: International Journal on Document Analysis and Recognition (IJDAR), Vol. Online First, Pages 1-19, Springer, 2012.

  7. Sebastiano Battiato; Sabu Emmanuel; Adrian Ulges; Marcel Worring

    Multimedia in Forensics, Security, and Intelligence

    In: IEEE Multimedia, Vol. 19, Pages 17-19, IEEE Computer Society, Los Alamitos, CA, USA, 2012.

  8. Towards a Digital Object Memory Architecture

    In: Fifth Annual PhD Forum on Pervasive Computing and Communications (PerCom 2012 PhD Forum). IEEE International Conference on Pervasive Computing and …

  9. Geert-Jan Kruijff; Francis Colas; Tomas Svoboda; Jurriaan van Diggelen; Patrick Balmer; Fiora Pirri; Rainer Worst

    Designing Intelligent Robots for Human-Robot Teaming in Urban Search & Rescue

    In: AAAI 2012 Spring Symposium on Designing Intelligent Robots. AAAI Spring Symposium (AAAI SSS-2012), March 26-28, Palo Alto, CA, USA, AAAI , 2012.

  10. Geert-Jan Kruijff

    How Could We Model Cohesiveness in Team Social Fabric in Human-Robot Teams Performing Under Stress?

    In: Proceedings of the AAAI 2012 Spring Symposium on AI, The Fundamental Social Aggregation Challenge, and the Autonomy of Hybrid Agent Groups. AAAI …