2 papers
cs.CY2021
Towards formalization and monitoring of microscopic traffic parameters using temporal logic
Mariam Nour, Mohamed H. Zaki
Smart cities are revolutionizing the transportation infrastructure by the integration of technology. However, ensuring that various transportation system components are operating a…
eess.IV2019
Fast CNN-Based Object Tracking Using Localization Layers and Deep Features Interpolation
Al-Hussein A. El-Shafie, Mohamed Zaki, Serag El-Din Habib
Object trackers based on Convolution Neural Network (CNN) have achieved state-of-the-art performance on recent tracking benchmarks, while they suffer from slow computational speed.…