Skip to main content Skip to main navigation

Publications

Displaying results 3221 to 3230 of 14779.

  1. Stephan Eggersglüß

    Compact Test Set Generation for Test Compression-based Designs

    In: 20th IEEE European Test Symposium. IEEE European Test Symposium (ETS-20), May 25-29, Cluj-Napoca, Romania, 2015.

  2. Arman Allahyari-Abhari; Mathias Soeken; Rolf Drechsler

    Requirement Phrasing Assistance using Automatic Quality Assessment

    In: IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems . IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2015), April 22-24, Belgrade, Serbia, 2015.

  3. Saeideh Shirinzadeh; Mathias Soeken; Rolf Drechsler

    Multi-Objective BDD Optimization with Evolutionary Algorithms

    In: Genetic and Evolutionary Computation Conference . Genetic and Evolutionary Computation Conference (GECCO), A recombination of the 24th International Conference on Genetic Algorithms (ICGA) and the 20th Annual Genetic Programming Conference (GP), July 11-15, Madrid, Spain, 2015.

  4. Mathias Soeken; Laura Tague; Gerhard W. Dueck; Rolf Drechsler

    Ancilla-free synthesis of large reversible functions using binary decision diagrams

    In: Journal of Symbolic Computation, 2015.

  5. Xiaoqi Cao; Matthias Klusch; Patrick Kapahnke

    SPSC: Efficient Composition of Semantic Services in Unstructured P2P Networks

    In: Proceedings of 12th Extended Semantic Web Conference. Extended Semantic Web Conference (ESWC-15), May 31 - June 4, Portoroz, Slovenia, LNCS, Springer, 2015.

  6. Max Feltes; Sheraz Ahmed; Andreas Dengel; Marcus Liwicki

    Improved Contour-Based Corner Detection for Architectural Floor Plans

    In: Graphics Recognition. Current Trends and Challenges (Hrsg.). GREC. IAPR International Workshop on Graphics Recognition (GREC-13), Springer, 2013.

  7. Frank Hilken; Philipp Niemann; Martin Gogolla; Robert Wille

    From UML/OCL to Base Models: Transformation Concepts for Generic Validation and Verification

    In: 8th International Conference on Model Transformation (ICMT). International Conference on Model Transformation (ICMT-08), July 20-24, L'Aquila, Italy, 2015.

  8. Stefan Höffken; Martin Memmel; Maximilian Vollmer; Rüdiger Noll

    Kollaboratives Leerstandsmanagement

    In: gis.Science - Die Zeitschrift für Geoinformatik, Vol. 1, Pages 30-39, VDE, Berlin, 2014.

  9. Arle Richard Lommel; Aljoscha Burchardt; Hans Uszkoreit

    Multidimensional Quality Metrics (MQM): A Framework for Declaring and Describing Translation Quality Metrics

    In: Attila Görög; Pilar Sánchez-Gijón (Hrsg.). Tradumàtica: tecnologies de la traducció, Vol. 0, No. 12, Pages 455-463, 12/2014.

  10. Sebastian Krause; Leonhard Hennig; Aleksandra Gabryszak; Feiyu Xu; Hans Uszkoreit

    Sar-graphs: A Linked Linguistic Knowledge Resource Connecting Facts with Language

    In: Fourth Workshop on Linked Data in Linguistics: Resources and Applications (LDL-2015) at ACL-IJCNLP 2015. Workshop on Linked Data in Linguistics (LDL-2015), 4th, located at ACL-IJCNLP 2015, July 31, Beijing, China, ACL, 2015.

Year

More options