Skip to main content Skip to main navigation

Publications

Displaying results 701 to 710 of 6321.

  1. Malte Luttermann; Jan Speller; Marcel Gehrke; Tanya Braun; Ralf Möller; Mattis Hartwig

    Approximate Lifted Model Construction

    In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2025), August 16-22, Montreal, QC, Canada, Pages 9077-9085, Vol. 34, IJCAI Organization, 8/2025.

  2. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  3. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  4. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  5. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  6. Sk Aziz Ali; Mohammad Sadil Khan; Didier Stricker

    BRep Boundary and Junction Detection for CAD Reverse Engineering

    In: Proceedings of the 3rd IEEE International Conference on Computing and Machine Intelligence. IEEE International Conference on Computing and Machine Intelligence (ICMI-2024), April 13-14, Michigan, MI, USA, IEEE, 2024.

  7. Stefan Wilk; Manisha Luthra; Wolfgang Effelsberg

    One Sensor is not Enough: Adapting and Fusing Sensors for the Quality Assessment of User Generated Video

    In: Proceedings of the 24th ACM International Conference on Multimedia. ACM International Conference on Multimedia (ACM MM-2016), Amsterdam, Netherlands, Pages 626-630, MM '16, ISBN 9781450336031, Association for Computing Machinery, 2016.

  8. The An Binh Nguyen; Pratyush Agnihotri; Christian Meurisch; Manisha Luthra; Rahul Dwarakanath; Jeremias Blendin; Doreen Böhnstedt; Michael Zink; Ralf Steinmetz

    Efficient Crowd Sensing Task Distribution Through Context-Aware NDN-Based Geocast

    In: 2017 IEEE 42nd Conference on Local Computer Networks (LCN). IEEE Conference on Local Computer Networks (LCN-2017), 42nd Conference on Local Computer Networks, Pages 52-60, IEEE, 10/2017.

  9. Manisha Luthra

    Adapting to Dynamic User Environments in Complex Event Processing System using Transitions

    In: Proceedings of the 12th ACM International Conference on Distributed and Event-Based Systems. ACM International Conference on Distributed and Event-Based Systems (DEBS-2018), 12th ACM International Conference on Distributed and Event-Based Systems, New York, NY, USA, Pages 274-277, DEBS '18, ISBN 9781450357821, Association for Computing Machinery, 2018.

  10. Yassin Alkhalili; Manisha Luthra; Amr Rizk; Boris Koldehofe

    3-D Urban Objects Detection and Classification From Point Clouds

    In: Proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems. ACM International Conference on Distributed and Event-Based Systems (DEBS-2019), 13th ACM International Conference on Distributed and Event-Based Systems, Darmstadt, Germany, Pages 209-213, DEBS '19, ISBN 9781450367943, Association for Computing Machinery, 2019.

Year

More options