Over the past decade, the trajectory to the petascale has been built on increased complexity and scale of the underlying parallel architectures. Meanwhile, software developers hav...
We address the problem of estimating a fundamental matrix from a given set of corresponding pixels in two perspective images of a 3D scene that form a stereopair. The 3x3 fundamen...
A general-purpose augmented reality apparatus was developed. The system uses rapidly scanned lasers to display information directly onto the patient using the patient as a ``proje...
Neil D. Glossop, Chris Wedlake, John Moore, Terry ...
In this paper we describe BR-4, a computational model of scienti c discovery in particle physics. The system incorporates operators for determining quantum values of known particle...
Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational le...