Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Mar...
Cloud computing is quickly becoming the platform of choice for many web services. Virtualization is the key underlying technology enabling cloud providers to host services for a l...
Jakub Szefer, Eric Keller, Ruby B. Lee, Jennifer R...
Facial variation divides into a number of functional subspaces. An improved method of measuring these was designed, within the space defined by an Appearance Model. Initial estima...
Nicholas Costen, Timothy F. Cootes, Gareth J. Edwa...
A semantic-centric approach to information visualization is described in this paper. In contrast to the conventional document-centric approaches, the semantic-centric approach foc...
This paper studies the issue of space coordinate change in genetic algorithms, based on two methods: convex quadratic approximations, and principal component analysis. In both met...
Elizabeth F. Wanner, Eduardo G. Carrano, Ricardo H...