Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
The literature currently provides two ways to establish
point correspondences between images with moving objects.
On one side, there are energy minimization methods
that yield v...
Thomas Brox (University of California, Berkeley), ...
This paper deals with the problem of tracking multiple targets in a distributed network of self-configuring pan-tilt-zoom cameras. We focus on applications where events unfold over...
In this paper we introduce a novel method to detect and
localize abnormal behaviors in crowd videos using Social
Force model. For this purpose, a grid of particles is placed
ove...
For most iris capturing scenarios, captured iris images
could easily blur when the user is out of the depth of field
(DOF) of the camera, or when he or she is moving. The
common...
Xinyu Huang (University of Kentucky), Liu Ren (Rob...