We describe an approach to the computation of symbolic resultants in which factors are removed during the course of the calculation, so reducing the stack size required for interme...
Branching vector addition systems are an extension of vector addition systems where new reachable vectors may be obtained by summing two reachable vectors and adding an integral v...
We use the theory and algorithms developed for so-called shiftinvariant spaces to develop a novel distributed architecture for sampling and reconstructing non-bandlimited fields i...
Near-duplicate video detection is becoming a core-technology for analyzing the structure of a large-scale video archive. It, however, is naturally an O(n2 ) problem, where n is a ...
This paper investigates the existence conditions of cusp points in the design parameter space of the RPR-2PRR parallel manipulators. Cusp points make possible non-singular assembly...
Guillaume Moroz, Damien Chablat, Philippe Wenger, ...