Skip to main content Skip to main navigation

Publications

Displaying results 1911 to 1920 of 15141.

  1. Hoang M. Le; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Towards Formal Verification of Real-World SystemC TLM Peripheral Models - A Case Study

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, Pages 1160-1163, 2016.

  2. Amr Sayed Ahmed; Daniel Große; Ulrich Kühne; Mathias Soeken; Rolf Drechsler

    Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, Pages 1048-1053, 2016.

  3. Saeideh Shirinzadeh; Mathias Soeken; Pierre-Emmanuel Gaillardon; Rolf Drechsler

    Fast Logic Synthesis for RRAM-based In-Memory Computing using Majority-Inverter Graphs

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.

  4. Robert Wille; Oliver Keszöcze; Stefan Hillmich; Marcel Walter; Alberto Garcia-Ortiz

    Synthesis of Approximate Coders for On-chip Interconnects Using Reversible Logic

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.

  5. Luca Amaru; Pierre-Emmanuel Gaillardon; Robert Wille; Giovanni De Micheli

    Exploiting Inherent Characteristics of Reversible Circuits for Faster Combinational Equivalence Checking

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE), March 14-18, Dresden, Germany, 2016.

  6. Markus Siepermann; Arbnesh Sutaj; Patrick Lübbecke; Richard Lackes

    Refuse to Walk on Clouds - Why Firms still do not Use Cloud Computing. An Empirical Study of Barriers and Enhancers

    In: Proceedings of the 49th Annual Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-49), January 5-8, Kauai, HI, USA, Computer Society Press, 2016.

  7. Yohannes Kassahun

    A Novel Sparse Autoencoder for Modeling Highdimensional Sensory Data

    In: 2nd International Electronic Conference on Sensors and Applications . International Electronic Conference on Sensors and Applications (ECSA-2015), November 15-30, ECSA, 11/2015.

  8. Santanu Pal; Sudip Kumar Naskar; Mihaela Vela; Josef van Genabith

    A Neural Network based Approach to Automated Post-Editing

    In: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics. Annual Meeting of the Association for Computational Linguistics (ACL), located at ACL, August 7-12, Berlin, Germany, ACL, 2016.

  9. Li Ling Tan; Francis Bond; Josef van Genabith

    USAAR at SemEval-2016 Task 13: Hyponym Endocentricity

    In: Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL). Annual Conference of the North American Chapter of the Association for Computational Linguistics (HLT-NAACL), 10th Workshop on Semantic Evaluation, located at NAACL, June 12-17, San Diego, CA, USA, ACL, 2016.

  10. Hanna Bechara; Rohit Gupta; Li Ling Tan; Constantin Orasan; Ruslan Mitkov; Josef van Genabith

    WOLVESAAR at SemEval-2016 Task 1: Replicating the Success of Monolingual Word Alignment and Neural Embeddings for Semantic Textual Similarity

    In: Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL). Annual Conference of the North American Chapter of the Association for Computational Linguistics (HLT-NAACL), 10th Workshop on Semantic Evaluation, located at NAACL, June 12-17, San Diego, CA, USA, ACL, 2016.

Year

More options