Direct volume rendering based on projective methods works by projecting, in visibility order, the polyhedral cells of a mesh onto the image plane, and incrementally compositing th...
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
This workshop explores the territory of `value-centred HCI' with the intention of freeing us from the tricky complexity of this topic and the multiple meanings of the words `...
David J. Gilmore, Gilbert Cockton, Elizabeth F. Ch...
Important drawbacks of map-based navigation applications for mobile phones are their small screen size and that users have to associate the information provided by the mobile phon...