15 search results - page 1 / 3 » Behaviour Recognition using the Event Calculus |
IFIP12
2009
13 years 2 months ago
2009
We present a system for recognising human behaviour given a symbolic representation of surveillance videos. The input of our system is a set of timestamped short-term behaviours, t...
IAT
2010
IEEE
13 years 3 months ago
2010
IEEE
Intention recognition has significant applications in ambient intelligence, for example in assisted living and care of the elderly, in games and in intrusion and other crime detec...
CAISE
2006
Springer
13 years 9 months ago
2006
Springer
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
IFIPTCS
2010
13 years 3 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
CONCUR
1990
Springer
13 years 9 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...