Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 891 bis 900 von 13882.

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

  2. Pratyush Agnihotri; Paul Stiegele; Roman Heinrich; Boris Koldehofe; Carsten Binnig; Manisha Luthra

    ZeroTune: Learned Zero-Shot Parallelism Tuning for Distributed Stream Processing

    In: 40th IEEE International Conference on Data Engineering (ICDE 2024). IEEE International Conference on Data Engineering (ICDE-2024), Pages 1-14, IEEE, 2024.

  3. Wang Yue; Rafael Moczalla; Manisha Luthra; Tilmann Rabl

    Deco: Fast and Accurate Decentralized Aggregation of Count-Based Windows in Large-Scale IoT Applications

    In: Proceedings 27th International Conference on Extending Database Technology ( EDBT 2024 ). International Conference on Extending Database Technology (EDBT-2024), 27th International Conference on Extending Database Technology, March 25-28, Italy, ISBN 978-3-89318-091-2, OpenProceeedings.org, 2024.

  4. Khushboo Qayyum; Muhammad Hassan; Sallar Ahmadi-Pour; Chandan Kumar Jha; Rolf Drechsler

    Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification

    In: 61st Design Automation Conference (DAC). Design Automation Conference (DAC-2024), June 23-27, San Francisco, USA, 2024.

  5. Khushboo Qayyum; Abhoy Kole; Kamalika Datta; Muhammad Hassan; Rolf Drechsler

    Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification

    In: 34th Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2024), June 12-14, Tampa Bay Area, USA, o.A, 2024.

  6. Liam Hurwitz; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?

    In: 16th Conference on Reversible Computation. International Conference on Reversible Computation (RC-2024), July 4-5, Torun, Poland, 2024.

  7. Johannes Rust; Christian Mandel; Kathrin Stich; Serge Autexier

    Predicting Hemodynamic and Pulmonary Decompensation with Deep Neural Networks: Performance and Explainability

    In: 46th Annual International Conference of the IEEE Engineering in Medicine and Biology Society. International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2024), Orlando, USA, 2024.

  8. Jean-Francois Nies; Syed Tahseen Raza Rizvi; Mohsin Munir; Ludger van Elst; Andreas Dengel

    Knowledge-aware Object Detection in Traffic Scenes

    In: INSTICC (Hrsg.). Proceedings of the 16th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2024), February 24-26, Rome (ONLINE), Italy, ISBN 978-989-758-680-4, SciTePress, 2/2024.

  9. Eduard Anton; Markus Aptyka; Frank Teuteberg

    The Shaping of Work: Understanding the Dynamics of Job Crafting, Technology, and Institutional Logics

    In: Thirty-Second European Conference on Information Systems (ECIS 2024). European Conference on Information Systems (ECIS), Paphos, Cyprus, Association for Information Systems, 2024.

  10. Lotfy Abdel Khaliq; Sabine Janzen; Wolfgang Maaß

    REAVER: Real-time Earthquake Prediction with Attention-based Sliding-Window Spectrograms

    In: International Joint Conference on Artificial Intelligence 2024. International Joint Conference on Artificial Intelligence (IJCAI-2024), 33rd International Joint Conference on Artificial Intelligence, August 3-9, Jeju, Korea, Republic of, International Joint Conference on Artificial Intelligence, 8/2024.

Jahr

Mehr Optionen