350 search results - page 7 / 70 » Separation of Partition Inequalities |
132
click to vote
INFORMS
2007
15 years 5 months ago
2007
We further develop the 0/1 ILP formulation of Lee for edge coloring where colors are encoded in binary. With respect to that formulation, our main contributions are: (i) an effici...
152
click to vote
CIE
2007
Springer
15 years 12 months ago
2007
Springer
Ballester has shown that the problem of deciding whether a Nash stable partition exists in a hedonic game with arbitrary preferences is NP-complete. In this paper we will prove tha...
156
click to vote
USS
2004
15 years 7 months ago
2004
Privilege separation partitions a single program into two parts: a privileged program called the monitor and an unprivileged program called the slave. All trust and privileges are...
173
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
Single Display Groupware (SDG) lets multiple co-located people, each with their own input device, interact simultaneously over a single communal display. While SDG is beneficial, ...
144
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...