Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
er uses an abstract machine approach to compare the mechanisms of two parallel machines: the J-Machine and the CM-5. High-level parallel programs are translated by a single optimi...
Ellen Spertus, Seth Copen Goldstein, Klaus E. Scha...
Seeing biological motion is very important for both humans and computers. Psychophysics experiments show that the ability of our visual system for biological motion detection and ...
A new method of translational image registration is presented: orientation correlation. The method is fast, exhaustive, statistically robust, and illumination invariant. No existi...
A. J. Fitch, Alexander Kadyrov, William J. Christm...
In this paper, we investigate the advantages and weaknesses of various decision fusion schemes using statistical and rule-based reasoning. The cooperation schemes are applied on t...