Skip to main content Skip to main navigation

Publications

Displaying results 3131 to 3140 of 14779.
  1. Nils Przigoda; Robert Wille; Rolf Drechsler

    Leveraging the Analysis for Invariant Independence in Formal System Models

    In: 18th Euromicro Conference on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-18), August 26-28, Funchal (Madeira), Portugal, 2015.

  2. Gabriele Weiler

    Consistency Checking for Ontology-Based Workflows

    PhD-Thesis, DFKI, 2011.

  3. Marko Brunzel

    Ontology Learning from semi-structured Web documents

    PhD-Thesis, DFKI, 2010.

  4. Ashley Colley; Jonna Häkkilä; Johannes Schöning; Florian Daiber; Frank Steinicke; Antonio Krüger

    Touch the 3rd Dimension! Understanding Stereoscopic 3D Touchscreen Interaction

    In: Theodor Wyeld; Paul Calder; Haifeng Shen (Hrsg.). Computer-Human Interaction. Cognitive Effects of Spatial Interaction, Learning, and Ability. Pages 47-67, Lecture Notes in Computer Science, Vol. 8433, ISBN 978-3-319-16939-2, Springer International Publishing, 2015.

  5. Carsten Wenzel; Pascal Reuß; Karsten Rose; Klaus-Dieter Althoff

    Multi-agent, case-based configuration of custom-built racing cars

    In: Miltos Petridis; Thomas Roth-Berghofer; Nirmalie Wiratunga (Hrsg.). Proceeding of the 19th UK Workshop on Case-Based Reasoning. UK Workshop on Case-Based Reasoning (UKCBR-2014), located at SGAI International Conference on Artificial Intelligence, December 15, Cambridge, United Kingdom, School of Computing, Engineering and Mathematics, University of Brighton, UK, 2014.