Learn More
We have implemented a declarative debugger for Mercury that is capable of finding bugs in large, long-running programs. This debugger implements several search strategies. We discuss the implementation of two of these strategies and the conditions under which each strategy is useful.The divide and query strategy tries to minimize the number of questions(More)
Although finger touch is widely expected as the control mechanism for touch tables, tangible object interaction is another, if rarely implemented possibility. Little empirical research exists showing uptake, user engagement, or use preferences for adult users of multi-touch tangible systems (Antle & Wise, 2013; Schneider et al., 2010) with the majority(More)
We present G12IDE, a front-end for the G12 platform aimed at helping users create and work with constraint models in a manner independent from any underlying solver. G12IDE contains tools for writing and evaluating models using Zinc and provides a feature rich debugger for monitoring a running search process. Debugging a search, as opposed to debugging(More)
Here we present a novel, information-theoretic salient line segment detector. Existing line detectors typically only use the image gradient to search for potential lines. Consequently, many lines are found, particularly in repetitive scenes. In contrast, our approach detects lines that define regions of significant divergence between pixel intensity or(More)
Introduction Multiple sclerosis (MS) is a chronic disease of the central nervous system that predominantly affects young adults during their most productive years. Pathologically, MS is characterized by the presence of areas of demyelination and T-cell predominant perivascular inflammation in the brain white matter. In order to study the effect of MS lesion(More)
Our tangible touch table interface mapping system was designed for adults to complete short map-based interactive problem solving tasks using purpose-designed model objects. The table interface was compared with the closest existing traditionally equivalent method using a within subjects exercise of 64 adult members of the general public in-situ at the(More)
We present a novel approach to 2D-3D registration from points or lines without correspondences. While there exist established solutions in the case where correspondences are known, there are many situations where it is not possible to reliably extract such correspondences across modalities, thus requiring the use of a correspondence-free registration(More)