We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, K...
The visualization of 3D vector and tensor fields in a 2D image is challenging because the large amount of information will either be mixed during projection to 2D or lead to seve...
The goal of image segmentation is to partition an image into regions that are internally homogeneous and heterogeneous with respect to neighbouring regions. Recently, a link shifti...
We formulate an algebra of binary temporal relations between events the number of occurrences of which is unknown, but which are known to recur in time. Ontologically, we view the...
Scale space interest points capture important photometric and deep structure information of an image. The information content of such points can be made explicit using image recons...
Frans Kanters, Trip Denton, Ali Shokoufandeh, Luc ...