We present a method based on extended linear real quantifier elimination for multiple object semilinear motion planning, i.e. finding collision-free trajectories for several rob...
This paper presents an experimental and analytical study of value prediction and its impact on speculative execution in superscalar microprocessors. Value prediction is a new para...
With the electromagnetic theory as basis, we present a sensor model for three-axis magnetometers suitable for localization and tracking applications. The model depends on a physic...
Niklas Wahlstrom, Jonas Callmer, Fredrik Gustafsso...
Many distributed video coders are implemented using sophisticated error correction codes that use soft information (conditional probabilities) as a priori knowledge. This a priori...
Ronald P. Westerlaken, Stefan Borchert, Rene Klein...
In this paper, we apply the primal-dual decomposition and subgradient projection methods to solve the rate-distortion optimization problem with the constant bit rate constraint. T...