Steering and driving tasks – where the user controls a vehicle or other object along a path – are common in many simulations and games. Racing video games have provided users ...
Scott Bateman, Andre Doucette, Robert Xiao, Carl G...
This paper is devoted to the design and analysis of short undeniable signatures based on a random oracle. Exploiting their online property, we can achieve signatures with a fully s...
DTAM is a system for real-time camera tracking and reconstruction which relies not on feature extraction but dense, every pixel methods. As a single hand-held RGB camera flies ov...
Richard A. Newcombe, Steven Lovegrove, Andrew J. D...
NETSPEAK helps writers in choosing words while writing a text. It checks for the commonness of phrases and allows for the retrieval of alternatives by means of wildcard queries. T...
Patrick Riehmann, Henning Gruendl, Bernd Froehlich...
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...