Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
A widely acknowledged drawback of many statistical modelling techniques, commonly used in machine learning, is that the resulting model is extremely difficult to interpret. A numb...
This paper describes a new method of combining ray-casting with segmentation. Volume rendering is performed at interactive rates on standard laptop computers, and visualizations in...
The development of structure-learning algorithms for gene regulatory networks depends heavily on the availability of synthetic data sets that contain both the original network and ...
Koenraad Van Leemput, Tim Van den Bulcke, Thomas D...
In this article we consider what it should mean to build ‘‘smartness’’ or ‘‘intelligence’’ into the home. We introduce an argument suggesting that it is people who ...
Alex S. Taylor, Richard H. R. Harper, Laurel Swan,...