Skip to main content Skip to main navigation

Publications

Displaying results 1951 to 1960 of 15161.

  1. Ralf Biedert; Georg Buscher; Sven Schwarz; Jörn Hees; Andreas Dengel

    Text 2.0

    In: Elizabeth D. Mynatt and; Don Schoner and; Geraldine Fitzpatrick and; Scott E. Hudson and; W. Keith Edwards and; Tom Rodden (Hrsg.). Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010. International Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA-2010), Pages 4003-4008, ACM, 2010.

  2. Faisal Shafait

    Printer Identification using Supervised Learning for Document Forgery Detection

    In: Document Analysis Systems (DAS), 2014 11th IAPR International Workshop on . IAPR International Workshop on Document Analysis Systems (DAS-14), 11th IAPR International Workshop , April 7-10, Tours – Loire Valley, France, Pages 146-150, ISBN 978-1-4799-3243-6 , IEEE, 2014.

  3. Ralf Biedert; Jörn Hees; Andreas Dengel; Georg Buscher

    A Robust Realtime Reading-Skimming Classifier

    In: Howell O. Istance Carlos Hitoshi Morimoto (Hrsg.). Proceedings of the 2012 Symposium on Eye-Tracking Research and Applications, ETRA 2012, Santa Barbara, CA, USA, March 28-30, 2012. Symposium on Eye Tracking Research & Applications (ETRA-2012), March 28-30, Santa Barbara, CA, USA, Pages 123-130, ACM, 2012.

  4. Xiaofei Zhu; Claudia Niederée; Tuan Tran; Andrea Ceroni; Kaweh Djafari Naini; Nam Khanh Tran; Heiko Maus; Christian Jilek

    ForgetIT Deliverable D3.4: Strategies and Components for Managed Forgetting - Final Release

    Deliverable, ForgetIT Consortium, ForgetIT Deliverables, Vol. D3.4, 1/2016.

  5. Nils Przigoda; Robert Wille; Rolf Drechsler

    Analyzing Inconsistencies in UML/OCL Models

    In: Journal of Circuits, Systems and Computers, Vol. 25, No. 3, Page 1640021, World Scientific Publishing, 2015.

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

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

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

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

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

Year

More options