Sciweavers

467 search results - page 19 / 94
» Modelling Context: An Activity Theory Approach
Sort
View
ICWS
2009
IEEE
14 years 4 months ago
What are the Problem Makers: Ranking Activities According to their Relevance for Process Changes
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...
Chen Li, Manfred Reichert, Andreas Wombacher
POPL
2005
ACM
14 years 7 months ago
Context logic and tree update
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...
Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
TSP
2008
180views more  TSP 2008»
13 years 7 months ago
Algebraic Signal Processing Theory: Foundation and 1-D Time
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...
Markus Püschel, José M. F. Moura
KI
2007
Springer
14 years 1 months ago
Location-Based Activity Recognition
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ļ¬...
Dieter Fox
IJRR
2007
186views more  IJRR 2007»
13 years 7 months ago
Extracting Places and Activities from GPS Traces Using Hierarchical Conditional Random Fields
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...
Lin Liao, Dieter Fox, Henry A. Kautz