Page 1

Displaying 1 – 4 of 4

Showing per page

Automatic detection of urban traffic incidents and supporting decision model for police dispatching based on travel time

Guangyu Zhu, Jingxuan Zhang, Haotian Lin, Peng Zhang (2016)

Kybernetika

It is very important to get the complete and timely information of urban road traffic incidents and then to make a reasonable strategy for police dispatching. By improving the efficiency of sending police, the loss of traffic incidents and the pressure of traffic police will be reduced greatly. An assistant decision model of police dispatching based on the information of automatic traffic incident detection is proposed in this paper. Firstly, an automatic traffic incident detection algorithm is...

Logiche modali con la proprietà del punto fisso

L. Sacchetti (1999)

Bollettino dell'Unione Matematica Italiana

We introduce various kinds of fixed-point properties for modal logics, and we classify the most prominent systems according to these. Our goal is to do a first step towards a complete characterization of provability logics of (possibly non standard) derivability predicates for Peano Arithmetic.

Currently displaying 1 – 4 of 4

Page 1