We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
: A framework is presented for hypermedia access to weather information originating from gridded data sets. The information is presented on different media (map, text, graph, table...
We propose a technique to accurately correct the spherical topology of cortical surfaces. We construct a mapping from the original surface onto the sphere to detect topological def...
This paper proposes a computer-assisted system for the surgical treatment of exophthalmia. This treatment is classically characterized by a decompression of the orbit, by the mean ...
Vincent Luboz, Annaig Pedrono, Pascal Swider, Fran...
We propose in this paper a robust multi-resolution technique to estimate dense velocity field from image sequences. It couples a Gaussian pyramidal down-sampling decomposition to...