no code implementations • 6 Jun 2023 • Muhammad Waqas, Muhammad Ashraf, Muhammad Zakwan
Modulation classification is an essential step of signal processing and has been regularly applied in the field of tele-communication.
no code implementations • 15 Sep 2022 • Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou, Pierluigi Nuzzo
The STL predicates are then mapped to an aggregation of contracts associated with continuously differentiable time-varying control barrier functions.
no code implementations • 26 Mar 2022 • Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros Ioannou
The safety-critical nature of adaptive cruise control (ACC) systems calls for systematic design procedures, e. g., based on formal methods or control barrier functions (CBFs), to provide strong guarantees of safety and performance under all driving conditions.
no code implementations • 21 Jul 2020 • Sadaqat ur Rehman, Muhammad Waqas, Shanshan Tu, Anis Koubaa, Obaid ur Rehman, Jawad Ahmad, Muhammad Hanif, Zhu Han
With the advancement in technology and the expansion of broadcasting, cross-media retrieval has gained much attention.
1 code implementation • 26 Jun 2019 • Sadaqat ur Rehman, Zhongliang Yang, Muhammad Shahid, Nan Wei, Yongfeng Huang, Muhammad Waqas, Shanshan Tu, Obaid ur Rehman
Water supplies are crucial for the development of living beings.