2652 search results - page 192 / 531 » Privacy-preserving linear programming |
139
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we present an equilibrium value based framework for solving SDPs via the multiplicative weight update method which is different from the one in Kale's thesis [K...
156
click to vote
TMI
2002
15 years 3 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
120
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
144
Voted
ANOR
2005
15 years 3 months ago
2005
Abstract. This is an overview of the significance and main uses of projection, lifting and extended formulation in integer and combinatorial optimization. Its first two sections de...
147
Voted
EUROCAST
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we introduce an extension of Equilibrium Logic (a logical characterisation of the Answer Set Semantics for logic programs) consisting in the inclusion of modal tempor...