Sciweavers

1159 search results - page 31 / 232
» Binary Decision Graphs
Sort
View
ICLA
2009
Springer
13 years 6 months ago
Connection Matrices for MSOL-Definable Structural Invariants
Abstract. Connection matrices of graph parameters were first introduced by M. Freedman, L. Lov
Johann A. Makowsky
SIROCCO
2010
13 years 10 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
EMNLP
2006
13 years 10 months ago
Learning Information Status of Discourse Entities
In this paper we address the issue of automatically assigning information status to discourse entities. Using an annotated corpus of conversational English and exploiting morpho-s...
Malvina Nissim
CDC
2010
IEEE
139views Control Systems» more  CDC 2010»
13 years 4 months ago
Communication, convergence, and stochastic stability in self-assembly
Existing work on programmable self assembly has focused on deterministic performance guarantees--stability of desirable states. In particular, for any acyclic target graph a binary...
Michael J. Fox, Jeff S. Shamma
JAPLL
2006
114views more  JAPLL 2006»
13 years 9 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