There has been substantial progress in the past decade in the development of object classifiers for images, for example of faces, humans and vehicles. Here we address the problem ...
Oliver M. C. Williams, Andrew Blake, Roberto Cipol...
What is the "high level view" of data on the Web that can be traced down within W3C's rich roadmap of technologies? What the relationships between the "big need...
: We describe a technique for visually tracking flashlights so that they can be used as fun, cheap, intuitive and safe interaction devices with a wide range of surfaces. Our implem...
Ahmed Ghali, Steve Benford, Sahar Bayoumi, Jonatha...
We develop fundamental aspects of the theory of metric, Hilbert, and Banach spaces in the context of subsystems of second-order arithmetic. In particular, we explore issues having...
Extending the pi calculus with the session types proposed by Honda et al. allows high-level specifications of structured patterns of communication, such as client-server protocols,...