Abstract Nowadays, vehicular Ad hoc Networks (VANETs) are gaining enormous research
interest. Even though the leading reason for developing VANETs is traffic safety, many …

We investigates the performance of deep Convolutional Neural Network (CNN) for
recognizing highway traffic congestion state in surveillance camera images. Different from …

Understanding traffic density from large-scale web camera (webcam) videos is a
challenging problem because such videos have low spatial and temporal resolution, high …

Location and density based emergency message broadcasting has attracted researchers
attention in vehicular ad-hoc networks. However, most of current approaches do not provide …

The number of vehicles in our roads is drastically increasing, especially in developing
countries. In addition, these vehicles tend to be concentrated in urban areas which present a …

The medium access control protocol of a future vehicular ad-hoc network is expected to
cope with highly heterogeneous conditions. An essential parameter for protocols issued …

Vehicular ad hoc networks have been identified as a key technology for enabling safety and
infotainment applications in the context of smart and connected vehicles. In this sense …

In Vehicular Networks, communication success usually depends on the density of vehicles,
since a higher density allows having shorter and more reliable wireless links. Thus, knowing …

Traffic density estimation relying on vehicular ad hoc networks can facilitate many
applications, including traffic management, infrastructure planning, pollutant measurement …

Initial algebra semantics Page 1 INITIAL ALGEBRA SEMANTICS J. A. Goguen Computer
Science Department UCLA Los Angeles, California 90024 J. W. Thatcher Mathematical Sciences …