The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
Abstract. A major reason leading to tracking failure is the spatial distractions that exhibit similar visual appearances as the target, because they also generate good matches to t...
We present an approach for visual discrimination of children from adults in video using characteristic regularities present in their locomotion patterns. The framework employs comp...
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
The motion of fluids has been a topic of study for hundredsof years. In its most general setting, fluid flow is governed by a system of non-linear partial differential equation...