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 91 bis 100 von 572
  1. Andrea Kohlhase; Michael Kohlhase; Christoph Lange

    Dimensions of Formality: A Case Study for MKM in Software Engineering

    In: Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), located at CICM, July 8-10, Paris, …

  2. ConTask - Using Context-Sensitive Assistance to Improve Task-Oriented Knowledge Work

    In: 12th International Conference on Enterprise Information Systems. International Conference on Enterprise Information Systems (ICEIS-2010), June …

  3. Daniel Sonntag; Malte Kiesel

    Linked Data Integration for Semantic Dialogue and Backend Access

    In: Proceedings of the AAAI Spring Symposium "Linked Data meets Artificial Intelligence". AAAI Spring Symposium (AAAI SSS), March 22-24, Palo Alto, …

  4. Constantin Houy; Peter Fettke; Peter Loos; Wil van der Aalst; John Krogstie

    BPM-in-the-Large - Towards a higher level of abstraction in Business Process Management

    In: Marijn Janssen; Winfried Lamersdorf; Jan Pries-Heje; Michael Rosemann (Hrsg.). E-Government and E-Services EGES/ Global Information Systems …

  5. Paul Libbrecht

    What You Check is What You Get: Authoring with jEditOQMath

    In: Proceedings 10th IEEE International Conference on Advanced Learning Technologies. IEEE International Conference on Advanced Learning Technologies …

  6. Andrea Kohlhase; Michael Kohlhase

    What we understand is we get: Assessment in Spreadsheets

    In: Proceedings of the EuSpRIG-Conference 2010. European Spreadsheet Risks Interest Group (EuSpRIG-10), July 15-16, Greenwich, United Kingdom, …

  7. Andrea Kohlhase; Michael Kohlhase; Christoph Lange

    sTeX+ - A System for Flexible Formalization of Linked Data

    In: Proceedings the 6the International Conference on Semantic Systems. International Conference on Semantic Systems (I-Semantics-10), September 1-3, …

  8. Andrea Kohlhase

    Towards User Assistance for Documents via Interactional Semantic Technology

    In: Conference Proceedings of KI'10. German Conference on Artificial Intelligence (KI), September 21-24, Karlsruhe, Germany, IEEE, 2010.

  9. Gustaf Hendeby; Rickard Karlsson; Fredrik Gustafsson

    Particle Filtering: The Need for Speed

    In: Abdelak Zoubir (Hrsg.). EURASIP Journal on Advances in Signal Processing (JASP), Vol. 2010, No. 181403, Pages 1-9, Hindawi Publishing …