In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
In this paper we address the influence of eye localization accuracy on face matching performance in the case of low resolution image and video content. By means of a broad experim...
A dual active contour can use two snakes to seek an energy minimum which lies between their initial positions. This relieves problems associated with initialisation. The contracti...
In recent years, the use of performance measures for transit planning and operations has gained a great deal of attention, particularly as transit agencies are required to provide ...
This paper presents a parallelization framework for emerging applications on the future chip multiprocessors (CMPs). With the continuing prevalence of CMP and the number of on-die...