Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 81 bis 90 von 572.
  1. Stefan Bosse; Thomas Behrmann; Carolin Zschippig

    Toolbox for Energy Analysis and Simulation of self-powered Sensor Nodes

    In: Proceedings of 55. IWK Internationales Wissenschaftliches Kolloquium, Workshop A3 Analysis and Synthesis to Energy Efficiency Optimisation. Internationales Wissenschaftliches Kolloquium (IWK-10), Workshop A3 Analysis and Synthesis to Energy Efficiency Optimisation, September 13-17, Ilmenau, Germany, 9/2010.

  2. Controlling von Geschäftsprozessen

    In: Roland Jochem; Kai Mertins; Thomas Knothe (Hrsg.). Prozessmanagement. Pages 443-471, Symposium Publishing GmbH, Düsseldorf, 2010.

  3. Markus Eich; Frank Kirchner

    Reasoning About Geometry: An Approach Using Spatial-Descriptive Ontologies

    In: Workshop Artificial Intelligence and Logistics (AILog). European Conference on Artificial Intelligence (ECAI-10), August 16, Lisbon, Portugal, 8/2010.

  4. Serge Autexier; Dominik Dietrich

    A Tactic Language for Declarative Proofs

    In: Matt Kaufmann; Lawrence C. Paulson (Hrsg.). Proceedings International Conference on Interactive Theorem Proving. International Conference on Interactive Theorem Proving (ITP-2010), July 11-14, Edinburgh, United Kingdom, Pages 99-114, Lecture Notes in Computer Sciences (LNCS), Vol. 6172, Springer, 7/2010.

  5. Constantin Houy; Markus Reiter; Peter Fettke; Peter Loos

    Potentiale serviceorientierter Architekturen für Software-Werkzeuge des Geschäftsprozessmanagements

    In: Werner Esswein; Klaus Turowski; Martin Juhrisch (Hrsg.). MobIS 2010. Modellierung betrieblicher Informationssysteme (MobIS-2010), September 15-17, Dresden, Germany, Pages 211-227, Lecture Notes in Informatics (LNI), Vol. 171, ISBN 978-3-88579-265-9, Gesellschaft für Informatik, Bonn, 9/2010.

  6. Christian Federmann; Andreas Eisele; Hans Uszkoreit; Yu Chen; Sabine Hunsicker; Jia Xu

    Further Experiments with Shallow Hybrid MT Systems

    In: Chris Callison-Burch; Philipp Koehn; Christof Monz; Kay Peterson; Omar Zaidan (Hrsg.). Proceedings of the Joint Fifth Workshop on Statistical Machine Translation and MetricsMATR. Workshop on Statistical Machine Translation (WMT-10), located at ACL 2010, July 15-16, Uppsala, Sweden, Pages 77-81, ACL, 7/2010.

  7. Kathrin Eichler; Günter Neumann

    DFKI KeyWE: Ranking keyphrases extracted from scientific articles

    In: Proceedings of the Fifth International Workshop on Semantic Evaluations. International Workshop on Semantic Evaluation (SemEval-2010), located at ACL, June 15-16, Uppsala, Sweden, ACL, 2010.

  8. Lutz Schröder; Yde Venema

    Flat coalgebraic fixed point logics

    In: Paul Gastin; François Laroussinie (Hrsg.). Proceedings of the 21st International Conference on Concurrency Theory. International Conference on Concurrency Theory (CONCUR-2010), 21st, August 31 - September 3, Paris, France, Lecture Notes in Computer Science, Springer, Berlin, 8/2010.

  9. Lutz Schröder; Dirk Pattinson; Daniel Hausmann

    Optimal Tableaux for Conditional Logics with Cautious Monotonicity

    In: Michael Wooldridge (Hrsg.). Proceedings of the 19th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence (ECAI-2010), 19th, August 16-20, Lisbon, Portugal, Frontiers in Artificial Intelligence and Applications, IOS Press, 8/2010.

  10. Lutz Schröder; Dirk Pattinson

    Coalgebraic correspondence theory

    In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2010), 13th, located at ETAPS 2010, March 20-28, Paphos, Cyprus, Pages 328-342, Lecture Notes in Computer Science, Vol. 6014, Springer, Berlin, 3/2010.