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 589
  1. Oliver Kutz; Till Mossakowski; Christian Galinski; Christoph Lange

    Towards a Standard for Heterogeneous Ontology Integration and Interoperability

    In: Key-Sun Choi (Hrsg.). Proceedings of the First International Conference on Terminology, Languages and Content Resources (LarC 2011). International …

  2. Oliver Kutz; Till Mossakowski

    A Modular Consistency Proof for Dolce

    In: Wolfram Burgard; Dan Roth (Hrsg.). Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence and the Twenty-Third Innovative …

  3. Janna Hastings; Oliver Kutz; Till Mossakowski

    How to model the shapes of molecules? Combining topology and ontology using heterogeneous specifications

    In: Deep Knowledge Representation Challenge Workshop. International Conference on Knowledge Capture (K-Cap-11), 6th, located at co-located with K-CAP …

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

    Project Abstract: Logic Atlas and Integrator (LATIN)

    In: James H. Davenport; William M. Farmer; Josef Urban; Florian Rabe (Hrsg.). Intelligent Computer Mathematics. Conference on Intelligent Computer …

  5. Till Mossakowski; Mihai Codescu; Oliver Kutz

    Ontologie-basierte Routenplanung für eine aktivitätsorientierte Elektromobilität mit OpenStreetMap

    In: Michael Schenk; Hartmut Zadek; Gerhard Müller; Klaus Richter; Holger Seidel (Hrsg.). 16. Magdeburger Logistiktage "Sichere und nachhaltige …

  6. Mihai Codescu; Till Mossakowski

    Refinement trees: calculi, tools and applications

    In: Andrea Corradini; Bartek Klin (Hrsg.). Algebra and Coalgebra in Computer Science. Conference on Algebra and Coalgebra in Computer Science …

  7. Mihai Codescu; Gregor Horsinka; Oliver Kutz; Till Mossakowski; Rafaela Rau

    DO-ROAM: Activity-Oriented Search and Navigation with OpenStreetMap

    In: C. Claramunt; S. Levashkin; M. Bertolotto (Hrsg.). Fourth International Conference on GeoSpatial Semantics. International Conference on GeoSpatial …

  8. Barbora Micenkova; Joost van Beusekom

    Stamp Detection in Color Document Images

    In: Proceedings of the International Conference on Document Analysis and Recognition. International Conference on Document Analysis and Recognition …

  9. Takumi Toyama

    Object Recognition System Guided by Gaze of the User with a Wearable Eye Tracker

    In: DAGM'11 Proceedings of the 33rd International Conference on Pattern Recognition. Annual Symposium of the German Association for Pattern …

  10. Hendrik Zender

    Situated Production and Understanding of Verbal References to Entities in Large-Scale Space

    Saarbrücken Dissertations in Computational Linguistics and Language Technology, Vol. 36, ISBN 978-3-933218-35-3, German Research Center for Artificial …