Not finding it? Sign in to also search OpenAlex live.
-
Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions2020 IEEE Transactions on Automatic Control article Computer Science Formal Methods in Verification Open access
Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, +1 more
13citations -
L2M-AID: Autonomous Cyber-Physical Defense by Fusing Semantic Reasoning of Large Language Models with Multi-Agent Reinforcement Learning8citations
-
FAIR Sensor Ecosystem: Long-Term (Re-)Usability of FAIR Sensor Data through Contextualization2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Research Data Management Practices Open access
Matthias Bodenbenner, Jan Pennekamp, Benjamin Montavon, Klaus Wehrle, Robert Heinrich Schmitt
6citations -
ExPAN(N)D: Exploring Posits for Efficient Artificial Neural Network Design in FPGA-Based Systems2020 arXiv (Cornell University) preprint Computer Science Numerical Methods and Algorithms Open access
Suresh Nambi, Salim Ullah, Siva Satyendra Sahoo, Aditya Lohana, Farhad Merchant, Akash S. Kumar
4citations -
Fusenet: Self-Supervised Dual-Path Network For Medical Image Segmentation2024 IEEE International Symposium on Biomedical Imaging (ISBI) conference-paper Computer Science Medical Image Segmentation Techniques
Amirhossein Kazerouni, Sanaz Karimijafarbigloo, Reza Azad, Yury Velichko, Ulaş Bağcı, Dorit Merhof
4citations -
When Next-Gen Sensing Meets Legacy Wi-Fi: Performance Analyses of IEEE 802.11bf and IEEE 802.11ax Coexistence2026 IEEE Transactions on Mobile Computing article Computer Science Wireless Networks and Protocols Open access
Navid Keshtiarast, Pradyumna Kumar Bishoyi, Ido Manuel Lumbantobing, Marina Petrova
4citations -
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
Joint Communication Scheduling and Resource Allocation for Distributed Edge Learning: Seamless Integration in Next-Generation Wireless Networks2025 IEEE Transactions on Wireless Communications article Computer Science IoT and Edge/Fog Computing Open access
Paul Zheng, Navid Keshtiarast, Pradyumna Kumar Bishoyi, Yao Lin Zhu, Yulin Hu, Marina Petrova, +1 more
3citations -
The dynamic effects of visual complexity and scene cuts on viewer attention2026 Journal of the Academy of Marketing Science article Computer Science Visual Attention and Saliency Detection Open access
Sammy Floyd Wals, Dhruv Grewal, Ines Wilms, Tim Hilken, Alexia Briassouli, Martin G. M. Wetzels
3citations -
Benchmarking Algorithms for Submodular Optimization Problems Using IOHProfiler2023 IEEE Congress on Evolutionary Computation (CEC) conference-paper Computer Science Metaheuristic Optimization Algorithms Research Open access
Frank Neumann, Aneta Neumann, Chao Qian, Jacob de Nobel, Diederick Vermetten, Saba Sadeghi Ahouei, +3 more
3citations -
Fostering Engagement Through a Latency-Optimized LLM-Based Dialogue System for Multimodal ECA Responses2026 IEEE International Conference on Artificial Intelligence and eXtended and Virtual Reality (AIxVR) conference-paper Computer Science Speech and dialogue systems
Konstantin W. Kühlem, Jonathan Ehret, Torsten Kuhlen, Andrea Bönsch
2citations