Publications

Displaying results 1 to 10 of 9740

In: 5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe). Workshop on Design Automation for Understanding Hardware Designs (DUHDe-05) 5th March 19-23 Dresden Germany 2018.

To the publication

In: Proceedings of the 2017 International Conference on Infocom Technologies and Unmanned Systems. International Conference on Infocom Technologies and Unmanned Systems (ICTUS-2017) December 18-20 Dubai United Arab Emirates 2017.

To the publication

In: RoboCup International Symposium. RoboCup International Symposium (RoboCup) July 27-31 Nagoya Japan Springer 2017.

To the publication

In: Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Workshop on Automated Verification of Critical Systems (AVOCS-09) 9th September 23-25 Swansea United Kingdom Electronic Communications of the EASST 23 2009.

To the publication

In: Proceedings of the 9th IFIP International Conference on New Technologies, Mobility & Security. IFIP International Conference on New Technologies, Mobility & Security (NTMS-2018) 9th February 26-28 Paris France IEEE 2018.

To the publication

In: Proceedings of the 11th International Conference on Language Resources and Evaluation. International Conference on Language Resources and Evaluation (LREC-18) 11th May 7-12 Miyazaki Japan European Language Resources Association 2018.

To the publication

In: Proceedings of the 11th International Conference on Language Resources and Evaluation. International Conference on Language Resources and Evaluation (LREC-18) 11th May 7-12 Miyazaki Japan European Language Resources Association 2018.

To the publication

In: Computer Vision, Imaging and Computer Graphics Theory and Applications |. International Joint Conference on Computer Vision, Imaging and Computer Graphics (VISIGRAPP-2015) 10th March 11-14 Berlin Germany Pages 256-273 Springer International Publishing 2/2016.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz