Coded structured light is an optical technique based on active stereovision that obtains the shape of objects. Oneshot techniques are based on projecting a unique light pattern wi...
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
Camera calibration requires the identification of points in an image that correspond to known locations in the scene. These are typically determined through the use of a calibrati...
Anton van den Hengel, Rhys Hill, Michael J. Brooks
In object-oriented languages, the Visitor pattern can be used to traverse tree-like data structures: a visitor object contains some operations, and the data structure objects allo...
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...