Sciweavers

9719 search results - page 139 / 1944
» Answer Set Optimization
Sort
View
126
Voted
PADL
2001
Springer
15 years 5 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...
98
Voted
APPROX
2010
Springer
168views Algorithms» more  APPROX 2010»
15 years 2 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
171
Voted
JELIA
2010
Springer
14 years 11 months 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»
14 years 11 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
62
Voted
GECCO
2007
Springer
173views Optimization» more  GECCO 2007»
15 years 7 months ago
A satellite image set for the evolution of image transforms for defense applications
Michael R. Peterson, Gary B. Lamont, Frank W. Moor...