Skip to main content Skip to main navigation

Publications

Displaying results 71 to 80 of 572.
  1. Björn Forcher; Thomas Roth-Berghofer; Michael Sintek; Andreas Dengel

    Explanation-Aware Software Design of the Semantic Search Engine KOIOS

    In: Thomas Roth-Berghofer; Nava Tintarev; David B. Leake; Daniel Bahls (Hrsg.). Explanation-aware Computing ExaCt 2010, Proceedings of the 5th International ExaCt Workshop. International Workshop on Explanation-aware Computing (ExaCt-2010), 5th, located at ECAI 2010, August 16-20, Lissabon, Portugal, Pages 13-24, University of Lissabon, Portugal, 8/2010.

  2. Martin Atzmüller; Thomas Roth-Berghofer

    Towards Explanation-Aware Social Software: Applying the Mining and Analysis Continuum of Explaining

    In: Thomas Roth-Berghofer; Nava Tintarev; David B. Leake; Daniel Bahls (Hrsg.). Explanation-aware Computing ExaCt 2010, Proceedings of the 5th International ExaCt Workshop. International Workshop on Explanation-aware Computing (ExaCt), 5th, located at ECAI 2010, August 16-20, Lissabon, Portugal, Pages 1-12, University of Lissabon, 8/2010.

  3. Design of a Versatile AUV for High Precision Visual Mapping and Algorithm Evaluation

    In: 2010 IEEE/OES Autonomous Underwater Vehicles (AUV). IEEE/OES Autonomous Underwater Vehicles (AUV-2010), Mapping the Worlds Oceans, September 1-3, Monterey, CA, USA, ISBN 978-1-61284-979-9, IEEE, 2010.

  4. Paul Libbrecht

    Re-use? Is this Re-use?

    In: U. Kortenkamp (Hrsg.). Proceedings of I2GEO conference. Interoperable Interactive Geometry Conference (I2GEO-2010), located at CADGME / I2GEO, July 2-3, Hluboka nad Vltavou, Czech Republic, Cermat, 7/2010.

  5. Paul Libbrecht

    Notations Around the World:Census and Exploitation

    In: Serge Autexier; Jacques Calmet; David Delahaye; Patrick D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.). Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), 9th, located at Conference on Intelligent Computer Mathematics, July 8-9, Paris, France, Pages 398-410, Lecture Notes in Artificial Intelligence (LNAI), Vol. 6167/2010, ISBN 3-652-14127-7, Springer Verlag, 7/2010.

  6. 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 (ICALT-08), 10th, July 5-7, Sousse, Tunisia, Pages 682-686, ISBN 978-0-7695-4055-9, IEEE, Washington DC, 7/2010.

  7. 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, EuSpRIG, 2010.

  8. 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, Graz, Austria, arXiv.org, 2010.

  9. 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.

  10. 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 Corporation, 2010.