4117 search results - page 278 / 824 » On the Satisfiability of Complex Constraints |
163
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
: The guarantee of feasibility given feasibility at initial time is an issue that has been overlooked by many of the recent papers on stochastic model predictive control. Effective...
160
click to vote
PVLDB
2010
15 years 5 months ago
2010
We show that it is possible to significantly improve the accuracy of a general class of histogram queries while satisfying differential privacy. Our approach carefully chooses a...
192
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
Clock networks contribute a significant fraction of dynamic power and can be a limiting factor in high-performance CPUs and SoCs. The need for multi-objective optimization over a l...
223
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper considers the problem of multi robot localization. The analysis is focused on the problem of determining which are the optimal robot trajectories in order to minimize th...
154
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
We have developed a 3D sound system for headphones that allows real-time sound source and user displacement in a virtual acoustic environment. Because of a flexible design that us...