620 search results - page 95 / 124 » Algorithms and computations on cellular automata |
92
Voted
CSR
2010
Springer
15 years 3 months ago
2010
Springer
We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite trees accepted by finite tree automata. We show that, contrary to shifts of...
110
click to vote
DEBS
2010
ACM
14 years 7 months ago
2010
ACM
Many XML filtering systems have emerged in recent years identifying XML data that structurally match XPath queries in an efficient way. However, apart from structural matching, it...
SIGMETRICS
2009
ACM
15 years 7 months ago
2009
ACM
We consider the problem of designing scheduling algorithms for the downlink of cellular wireless networks where bandwidth is partitioned into tens to hundreds of parallel channels...
100
click to vote
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
118
Voted
RECOMB
2005
Springer
16 years 26 days ago
2005
Springer
Many important cellular response mechanisms are activated when a peptide binds to an appropriate receptor. In the immune system, the recognition of pathogen peptides begins when th...