This paper addresses the accuracy problem of an eye gaze tracking system. We first analyze the technical barrier for a gaze tracking system to achieve desired accuracy, and then p...
We developed an automated system that registers chest CT images temporally. Our registration method matches corresponding anatomical landmarks to obtain initial registration parame...
A path dictionary encodes the connections among objects in the aggregation hierarchy. It has been shown to be an efficient mechanism for supporting nested object queries [6]. In t...
In this article we would like to present some recent applications of the B formal method to the development of safety critical system. These SIL3/SIL41 compliant systems have their...
In this paper, we present an overview of a number of existing flow visualization methods, developed by the authors in the recent past, that are specifically aimed at integrating a...
Christoph Garth, Xavier Tricoche, Alexander Wiebel...