Many trackers have been proposed for tracking objects individually in previous research. However, it is still difficult to trust any single tracker over a variety of circumstances. Therefore, it is important to estimate how well each tracker performs and fusion the tracking results. In this paper, we propose a symbiotic black-box tracker (SBB) that learns only from the output of individual trac...

We explore the concept of a “black-box” stochastic system, and propose an algorithm for verifying probabilistic properties of such systems based on very weak assumptions regarding system dynamics. The properties are expressed using a variation of PCTL, the Probabilistic Computation Tree Logic. We present a general model of stochastic discrete event systems, which encompasses both discrete-time ...

We have looked at the process of discovery as an aspect of reasoning about knowledge, particularly in relation to problems of knowledge acquisition or learning. In those problems we have found to be of interest, a body of knowledge to-be-acquired may be infinite. Still, it can be "learned" through discovery of a model that correctly represents the knowledge in some finite way. Realistically, ex...