Sciweavers

2752 search results - page 308 / 551
» Rounding to an Integral Program
Sort
View
SIGUCCS
2004
ACM
16 years 2 days ago
Walking the tightrope of faculty support
Determining the desired relationship between IT professionals and faculty is an important step in setting expectations and developing programs to achieve that relationship. Two co...
Kelly Wainwright, Bruce Arnold
SAS
2004
Springer
132views Formal Methods» more  SAS 2004»
16 years 1 hour ago
Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
Qi Sun, Anindya Banerjee, David A. Naumann
154
Voted
RANDOM
2001
Springer
15 years 11 months ago
On the Equivalence between the Primal-Dual Schema and the Local-Ratio Technique
We discuss two approximation approaches, the primal-dual schema and the local-ratio technique. We present two relatively simple frameworks, one for each approach, which extend know...
Reuven Bar-Yehuda, Dror Rawitz
CL
2000
Springer
15 years 11 months ago
Querying Inconsistent Databases: Algorithms and Implementation
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
Alexander Celle, Leopoldo E. Bertossi
STOC
1993
ACM
179views Algorithms» more  STOC 1993»
15 years 10 months ago
The network inhibition problem
We study the Maximum Flow Network Interdiction Problem (MFNIP). We present two classes of polynomially separable valid inequalities for Cardinality MFNIP. We also prove the integr...
Cynthia A. Phillips