Sciweavers

1421 search results - page 40 / 285
» Satisfying KBO Constraints
Sort
View
PVLDB
2010
104views more  PVLDB 2010»
13 years 6 months ago
Boosting the Accuracy of Differentially Private Histograms Through Consistency
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...
Michael Hay, Vibhor Rastogi, Gerome Miklau, Dan Su...
ICCAD
2010
IEEE
166views Hardware» more  ICCAD 2010»
13 years 6 months ago
Low-power clock trees for CPUs
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...
Dongjin Lee, Myung-Chul Kim, Igor L. Markov
INLG
2010
Springer
13 years 6 months ago
Towards a Programmable Instrumented Generator
In this paper, we propose a general way of constructing an NLG system that permits the systematic exploration of the effects of particular system choices on output quality. We cal...
Chris Mellish
CDC
2010
IEEE
176views Control Systems» more  CDC 2010»
13 years 3 months ago
Optimal trajectories for multi robot localization
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...
Andrea Cristofaro, Agostino Martinelli
CP
2008
Springer
13 years 10 months ago
A Branch and Bound Algorithm for Numerical MAX-CSP
The Constraint Satisfaction Problem (CSP) framework allows users to define problems in a declarative way, quite independently from the solving process. However, when the problem i...
Jean-Marie Normand, Alexandre Goldsztejn, Marc Chr...