Recently, a new generation of adaptive process management technology has emerged, which enables dynamic changes of composite services and process models respectively. This, in tur...
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
This paper introduces a general and axiomatic approach to linear signal processing (SP) that we refer to as the algebraic signal processing theory (ASP). Basic to ASP is the linear...
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract and label a personās activities and signiļ¬...
Learning patterns of human behavior from sensor data is extremely important for high-level activity inference. We show how to extract a personās activities and signiļ¬cant plac...