Sciweavers

9719 search results - page 139 / 1944
» Answer Set Optimization
Sort
View
PADL
2001
Springer
15 years 6 months ago
An A-Prolog Decision Support System for the Space Shuttle
The goal of this paper is to test if a programming methodology based on the declarative language A-Prolog and the systems for computing answer sets of such programs, can be succes...
Monica Nogueira, Marcello Balduccini, Michael Gelf...
APPROX
2010
Springer
168views Algorithms» more  APPROX 2010»
15 years 4 months ago
Differential Privacy and the Fat-Shattering Dimension of Linear Queries
In this paper, we consider the task of answering linear queries under the constraint of differential privacy. This is a general and well-studied class of queries that captures oth...
Aaron Roth
JELIA
2010
Springer
15 years 27 days ago
Coala: A Compiler from Action Languages to ASP
Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, cal...
Martin Gebser, Torsten Grote, Torsten Schaub
FOCM
2010
97views more  FOCM 2010»
15 years 1 months ago
Self-Concordant Barriers for Convex Approximations of Structured Convex Sets
We show how to approximate the feasible region of structured convex optimization problems by a family of convex sets with explicitly given and efficient (if the accuracy of the ap...
Levent Tunçel, Arkadi Nemirovski
GECCO
2007
Springer
173views Optimization» more  GECCO 2007»
15 years 8 months ago
A satellite image set for the evolution of image transforms for defense applications
Michael R. Peterson, Gary B. Lamont, Frank W. Moor...