Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2010
Alle Filter entfernen
Zeige Ergebnisse 181 bis 190 von 572.

  1. Yu Chen; Andreas Eisele

    Integrating a Rule-based with a Hierarchical Translation System

    In: Daniel Tapias; Mike Rosner; Stelios Piperidis; Jan Odjik; Joseph Mariani; Bente Maegaard; Khalid Choukri; Nicoletta Calzolari (Conference Chair) (Hrsg.). Proceedings of the Seventh conference on International Language Resources and Evaluation. International Conference on Language Resources and Evaluation (LREC-10), May 19-21, La Valletta, Malta, Pages 1746-1752, ISBN 2-9517408-6-7, European Language Resources Association (ELRA), 5/2010.

  2. Dennis Walter; Holger Täubig; Christoph Lüth

    Experiences in Applying Formal Verification in Robotics

    In: SafeComp 2010 --- 29th International Conference on Computer Safety, Reliability and Security, Proceedings. International Conference on Computer Safety, Reliability and Security (SAFEComp-2010), September 14-17, Vienna, Austria, Pages 347-360, Lecture Notes in Computer Science (LNCS), Vol. 6351, Springer, 2010.

  3. David Aspinall; Ewen Denney; Christoph Lüth

    Tactics for Hierarchical Proofs

    In: Mathematics in Computer Science, Vol. 3, Pages 309-330, Birkhäuser, 3/2010.

  4. 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, University of Lissabon, 8/2010.

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

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

  7. Marc Hildebrandt; Jens Hilljegerdes

    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.

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

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

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

Jahr