Research in video surveillance is nowadays mainly directed towards improving reliability and gaining deeper levels of scene understanding. On the contrary, we take a different route and investigate a novel, unusual approach to a very simple surveillance task – activity detection – in scenarios where computational and energy resources are extremely limited, such as Camera Sensor Networks. Our pr...

Description of the transferable belief model to quantify degrees of belief, based on belief functions. The impact of open-and closed-world assumption on conditioning. Presentation of a set of axioms justifying Dempster's rule for the combination of belief functions induced by 2 distinct evidences.

A formal framework is set up for the discussion of generalized autoregressive with external input models of the form = , where and are linear operators, with the main emphasis being on signal spaces consisting of bounded sequences parametrized by the integers. Different notions of stability are explored, and topological notions such as the idea of a closed system are linked with questions of st...

Abstract. Decomposing a system into views is relatively easy. The tricky part is putting the views back together without creating unexpected interference between the views. We argue that basing decomposition on the closed world approach helps in avoiding certain kinds of surprises when views are composed. The composition mechanism can statically enforce that the behaviors described by different...

More than ever before, it is important to maintain the safety and security of citizens, public infrastructure, buildings. This paper is concerned with video surveillance systems. With the growing quantity of security video, it becomes vital that video surveillance system be able to support security personnel in monitoring and tracking activities. In this paper is described new video surveillanc...

We present a general notion of realizability encompassing both standard Kleene style realizability over partial combinatory algebras and Kleene style realizability over more general structures, including all partial cartesian closed categories. We show how the general notion of realizability can be used to get models of dependent predicate logic, thus obtaining as a corollary (the known result)...

The dynamics of creation, annihilation, and transformation of topological defects in a closed system with a vector-type order parameter is studied both theoretically and experimentally. The particular case of a drop of a nematic with varying boundary conditions is considered. In the theoretical part, the concept of a continuously defined topological description of surface defects (e.g., boojums...