1370 search results - page 12 / 274 » On the Consistent Observation of Active Systems |
117
click to vote
AAAI
2000
15 years 1 months ago
2000
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...
AAAI
2004
15 years 1 months ago
2004
We present CAMEO, the Camera Assisted Meeting Event Observer, which is a physical awareness system designed for use by an agent-based electronic assistant. CAMEO is used to observ...
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Clustering video sequences in order to infer and extract activities from a single video stream is an extremely important problem and has significant potential in video indexing, s...
ERSHOV
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Two formal models for description of timing attacks are presented, studied and compared with other security concepts. The models are based on a timed process algebra and ...
HYBRID
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we study one-clock priced timed automata in which prices can grow linearly ( ˙p = k) or exponentially ( ˙p = kp), with discontinuous updates on edges. We propose E...