A Case Study on Formal Sequential Equivalence Checking based Hierarchical Flow Setup towards Faster Convergence of Complex SOC Designs by Anantharaj Thalaimalai Vanaraj 1 and
Robust Localization Algorithm for Indoor Robots Based on the Branch-and-Bound Strategy by Huaxi (Yulin) Zhang 1, Yuyang Wang2, Xiaochuan Luo*, 3 , Baptiste Mereaux4, Lei
Smart Monitoring System for Housing Societies based on Deep Learning and IoT by Neha Koppikar* , Nidhi Koppikar  Department of Data Science MPSTME, SVKMs NMIMS
Volume 2, Issue 12 Download Complete Issue This issue covers recent advances in technology and environmental science. It looks at four main topics: making computer
The Current Trends of Deep Learning in Autonomous Vehicles: A Review by Raymond Ning Huang 1 , Jing Ren2,* , Hossam A. Gabbar 3 1
Text-Based Traffic Panels Detection using the Tiny YOLOv3 Algorithm by Saba Kheirinejad 1,* , Noushin Riahi 2, Reza Azmi 2 1 Center for Ubiquitous Computing,
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.