Abstract: Modeling and verification are crucial in designing traffic light control systems, guaranteeing these systems meet desired operational properties and handle dynamic traffic conditions ...
Abstract: Smart Buildings with connected lighting and sensors have become one of the first large-scale applications of the Internet of Things. However, existing efforts to make buildings smarter focus ...
This is Paired Normal/Low-light Images (PNLI) dataset and Pytorch implementation of LE-GAN: Unsupervised Low-light Image Enhancement Network using Attention Module and Identity Invariant Loss in ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results