Learn More
Many motion detection and tracking algorithms rely on the process of background subtraction, a technique which detects changes from a model of the background scene. We present a new algorithm for the purpose of background model initialization. The algorithm takes as input a video sequence in which moving objects are present, and outputs a statistical(More)
After over two decades of research in the field of assembly and task planning, an IEEE Technical Committee on Assembly and Task Planning has been created. One of the first activities of this committee has been to develop a taxonomy of the field. We will now present this taxonomy, which should be viewed as a dynamic description of the field that will change(More)
Before autonomous robotics can be used for dangerous or critical missions, performance guarantees should be made available. This paper overviews a software system for the verification of behavior-based controllers in context of chosen hardware and environmental models. Robotic controllers are automatically translated to a process algebra. The system(More)