: Salmetintroduced a notion of hypothetical knowledge and showed how it could be used to capture the type of counterfactual reasoning necessary to force the backwards induction sol...
Information retrieval systems are frequently required to handle long queries. Simply using all terms in the query or relying on the underlying retrieval model to appropriately wei...
In this paper we investigate glyph-based visualization techniques for the medical domain. We concentrate on both visualization as well as interaction techniques, developed for pro...
The efficiency of data analysis of 3-d measurement data such as medical images can be enhanced if the expert user is enabled to incorporate his knowledge into the analysis process ...
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...