Smart homes offer a potential benefit for individuals who want to lead independent lives at home and for loved ones who want to be assured of their safety. We have designed algorithms to detect anomalies and predict events based on sensor data collected in a smart environment. In this paper we explain how representing and reasoning about temporal relations improves the performance of these algo...

In developing these techniques, temporal proof is often required, and we base our work on practical proof techniques for the clausal resolution method for propositional linear-time temporal logic PLTL. The method is based on an intuitive clausal form, called SNF, comprising three main clause types and a small number of resolution rules [11, 14]. While the approach has been shown to be competiti...

Monitoring agricultural crops constitutes a vital task for the general understanding of land use spatio-temporal dynamics. This paper presents an approach for the enhancement of current crop monitoring capabilities on a regional scale, in order to allow for the analysis of environmental and socio-economic drivers and impacts of agricultural land use. This work discusses the advantages and curre...

OF DOCTORAL DISSERTATION HELSINKI UNIVERSITY OF TECHNOLOGY P. O. BOX 1000, FI-02015 TKK

Why should wait for some days to get or receive the privacy enhancing technologies 9th international symposium pets 2009 seattle wa usa august 5 7 book that you order? Why should you take it if you can get the faster one? You can find the same book that you order right here. This is it the book that you can receive directly after purchasing. This privacy enhancing technologies 9th international...

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. Although a complete and correct resolution-style calculus has already been suggested for t...

Scalable video coding is important in a number of applications where video needs to be decoded and displayed at a variety of spatial and temporal resolution scales or when resilience to errors is necessary. In this paper, we investigate a temporaldomain approach for resolution scalable video coding. This approach was originally proposed to and since then has been included in the Moving Picture ...