1576 search results - page 172 / 316 » Streaming Algorithms for Independent Sets |
119
click to vote
ATVA
2005
Springer
15 years 10 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
140
click to vote
SUM
2009
Springer
15 years 9 months ago
2009
Springer
We propose a framework to compute the utility of an agreement w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formula...
107
click to vote
RT
2000
Springer
15 years 8 months ago
2000
Springer
In composing hand-drawn images of 3D scenes, artists often alter the projection for each object in the scene independently, thereby generating multiprojection images. We present a...
172
click to vote
DALT
2009
Springer
15 years 7 months ago
2009
Springer
We propose a framework to compute the utility of a proposal w.r.t. a preference set in a negotiation process. In particular, we refer to preferences expressed as weighted formulas ...
123
click to vote
COCOON
2008
Springer
15 years 6 months ago
2008
Springer
Given a class of graphs, G, a graph G is a probe graph of G if its vertices can be partitioned into two sets, P (the probes) and N (the nonprobes), where N is an independent set, s...