Sciweavers

17 search results - page 1 / 4
» Using Three States for Binary Consensus on Complete Graphs
Sort
View
INFOCOM
2009
IEEE
14 years 5 days ago
Using Three States for Binary Consensus on Complete Graphs
Etienne Perron, Dinkar Vasudevan, Milan Vojnovic
SIROCCO
2010
13 years 7 months ago
Average Long-Lived Memoryless Consensus: The Three-Value Case
Abstract. We study strategies that minimize the instability of a faulttolerant consensus system. More precisely, we find the strategy than minimizes the number of output changes ov...
Ivan Rapaport, Eric Rémila
AIPS
2007
13 years 7 months ago
On the Hardness of Planning Problems with Simple Causal Graphs
We present three new complexity results for classes of planning problems with simple causal graphs. First, we describe a polynomial time algorithm that uses macros to generate pla...
Omer Giménez, Anders Jonsson
JAIR
2008
99views more  JAIR 2008»
13 years 5 months ago
The Complexity of Planning Problems With Simple Causal Graphs
We present three new complexity results for classes of planning problems with simple causal graphs. First, we describe a polynomial-time algorithm that uses macros to generate pla...
Omer Giménez, Anders Jonsson
JAPLL
2006
114views more  JAPLL 2006»
13 years 5 months ago
The monadic second-order logic of graphs XV: On a conjecture by D. Seese
A conjecture by D. Seese states that if a set of graphs has a decidable monadic second-order theory, then it is the image of a set of trees under a transformation defined by monad...
Bruno Courcelle