In this paper we present a syntactical approach for deriving real-time programs from a formal specification of the requirements of real-time systems. The main idea of our approach ...
Abstract. A prediction scheme for spatio-temporal time series is presented that is based on reconstructed local states. As a numerical example the ev olution of a Kuramoto-Sivashin...
In this appendix, we provide some details on the data structures used to cluster the intersection segments. Although the data structures are fairly classical (a heap, a grid and a...
To facilitate accurate and efficient detection of motion
patterns in video data, it is desirable to abstract from pixel
intensity values to representations that explicitly and co...
While a wireless sensor network is deployed to monitor certain events and pinpoint their locations, the location information is intended only for legitimate users. However, an eav...