Sciweavers

3381 search results - page 148 / 677
» Extending Dependencies with Conditions
Sort
View
JSC
2007
68views more  JSC 2007»
15 years 6 months ago
Multiple object semilinear motion planning
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...
Andreas Dolzmann, Volker Weispfenning
TOCS
1998
83views more  TOCS 1998»
15 years 6 months ago
Using Value Prediction to Increase the Power of Speculative Execution Hardware
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...
Freddy Gabbay, Avi Mendelson
ICASSP
2011
IEEE
14 years 10 months ago
Single target tracking using vector magnetometers
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...
ICIP
2007
IEEE
16 years 8 months ago
Analyzing Symbol and Bit Plane-Based LDPC in Distributed Video Coding
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...
ICASSP
2008
IEEE
16 years 27 days ago
Iterative R-D optimization of H.264
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...
Cheolhong An, Truong Q. Nguyen