295 search results - page 10 / 59 » Simultaneous Quantifier Elimination |
IJCAI
2007
13 years 10 months ago
2007
Compiling Bayesian networks has proven an effective approach for inference that can utilize both global and local network structure. In this paper, we define a new method of comp...
CISIS
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, we propose a level set based energy functional, the minimization of which results in simultaneous background modeling, foreground segmentation, and contour smoothin...
VLSID
2007
IEEE
14 years 9 months ago
2007
IEEE
We present minimization methodologies and an algorithm for simultaneous scheduling, binding, and allocation for the reduction of total power and power fluctuation during behaviora...
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
Sound source localization is an important function in robot audition. The existing works perform sound source localization using static microphone arrays. This work proposes a fram...
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
The iterative closest points (ICP) algorithm is widely used for ego-motion estimation in robotics, but subject to bias in the presence of outliers. We propose a random sample conse...