This paper reviews recent results obtained in the medical diagnosis field by adding to a coherent inference process qualitative constraints. Such further considerations turn out ...
Compression is widely used to reduce data transmission costs, but its impact on the performance of network entities such as web caches has not yet been studied. In this paper, we ...
Shadow mapping is a technique for doing real-time shadowing. Recent work has shown that shadow mapping hardware can be used as a second depth test in addition to the z-test. In th...
Abstract. In video surveillance, the faces of interest are often of small size. Image resolution is an important factor affecting face recognition by human and computer. In this pa...
Abstract. Asynchronous automata are parallel compositions of finitestate processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trac...
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor W...