Objects in the world exhibit complex interactions. When captured in a video sequence, some interactions manifest themselves as occlusions. A visual tracking system must be able to...
Andrew W. Senior, Arun Hampapur, Ying-li Tian, Lis...
This paper addresses the modeling of the static and dynamic parts of the scenario and how to use this information with a sensor-based motion planning system. The contribution in th...
We present an application of an automatic theorem proving (ATP) in the verification of constructions made with dynamic geometry software (DGS). Given a specification language for g...
In this paper, we propose a novel segmenting system for ultrasound images. This solution is separated into three steps. First, we filter noise by using the “peakand-valley” wi...
Nualsawat Hiransakolwong, Piotr S. Windyga, Kien A...
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...