Sciweavers

685 search results - page 33 / 137
» Closure Operators for Order Structures
Sort
View
TCS
2008
15 years 1 months ago
On different generalizations of episturmian words
In this paper we study some classes of infinite words generalizing episturmian words, and analyse the relations occurring among such classes. In each case, the reversal operator R...
Michelangelo Bucci, Aldo de Luca, Alessandro De Lu...
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
14 years 11 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
ESORICS
2009
Springer
16 years 2 months ago
Tracking Information Flow in Dynamic Tree Structures
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov
GECCO
2011
Springer
247views Optimization» more  GECCO 2011»
14 years 5 months ago
An agent-based model of the effects of a primate social structure on the speed of natural selection
The rate of speciation is in most mammals an order of magnitude faster than in most other vertebrates. It is faster still in the social mammals. The apparent association between c...
Gideon M. Gluckman, Joanna Bryson
JMLR
2010
115views more  JMLR 2010»
14 years 8 months ago
Bayesian structure discovery in Bayesian networks with less space
Current exact algorithms for score-based structure discovery in Bayesian networks on n nodes run in time and space within a polynomial factor of 2n . For practical use, the space ...
Pekka Parviainen, Mikko Koivisto