Fast Background Subtraction Based on GPU

In this paper, a fast background subtraction algorithm using codebook model is presented to extract moving objects from surveillance videos. The time for stopped objects being absorbed into the background can be controlled to deal with different applications and have nothing to do with the complexity of the scene. We implement the algorithm on GPU using CUDA, and optimize the implementation using pinned memory and asynchronous execution techniques. Experimental results are provided to demonstrate the accuracy, effectiveness, and efficiency of the proposed algorithm.

FUNCTIONAL PEARL Concurrent distinct choices

An injective finite mapping is an abstraction common to many programs. We describe the design of an injective finite mapping and its implementation in Curry, a functional logic language. Curry supports the concurrent asynchronous execution of distinct portions of a program. This condition prevents passing from one portion to another a structure containing a partially constructed mapping to ensure that a new choice does not violate the injectivity condition. We present some motivating problems and we show fragments of programs that solve these problems using our design and implementation.