5409 search results - page 32 / 1082 » Basic Observables for Processes |
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
There is a significant amount of redundancy between video frames or images that can be explained by considering these observations as samples of a light field function. By using a...
ICIP
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper, we introduce a new method for tracking multiple objects. The method combines Kalman filtering and the Expectation Maximization (EM) algorithm in a novel way to dea...
ICDCSW
2005
IEEE
14 years 1 months ago
2005
IEEE
A powerful strategy in intrusion detection is the separation of surveillance mechanisms from a site’s policy for processing observed events. The Bro intrusion detection system h...
ATVA
2004
Springer
14 years 1 months ago
2004
Springer
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
AMAST
1995
Springer
13 years 11 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...